Higher-order optimization library
OTHER License
IntelliJ plugin for Haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official upstream development repository for Cabal and cabal-install
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Preflight checklist for Haskell code. Aspire to greatness!
GHCup metadata repository
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Convert Haskell source code to Coq source code.
Haskell Pretty-printer library
DEPRECATED IN FAVOR OF haskell/ghcup-hs
A rewrite of the shell script ghcup, for providing a more stable user experience and exposing an ...
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode gener...