A Dependently Typed Functional Programming Language
OTHER License
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
The Eta Programming Language, a dialect of Haskell on the JVM
Agda is a dependently typed programming language / interactive theorem prover.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework opti...
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...