A statically typed lisp, without a GC, for real-time applications.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

💥💻💥 A data-parallel functional programming language

🍜 A tasty Haskell web framework

lamdu - towards the next generation IDE

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Minimal implementations for dependent type checking and elaboration

Haskell implemented with combinators

an implementation of stuck macros

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Deprecated

Implementing a small functional language with a combinator based graph-reduction machine