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

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…

Minimal implementations for dependent type checking and elaboration

Haskell implemented with combinators

Write You a Scheme

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

The adventures of a Haskell compiler

Algorithmic Information Theory, using Binary Lambda Calculus

Software suite for ranking chess positions and accurately estimating the number of legal chess positions

🧮 Programming with pure lambda calculus

A small compiler for PCF

🐦 *cheep cheep shriek caw*

A self-hosting mini Haskell compiler with a mini C runtime.

a self-hosting lambda calculus compiler

Reimplementation of a subset of Cabal

Monoidal stack machine

Notes on lambda calculus and type theory.

A Forth-like dialect on top of Brainfuck

An attempt to make a graphical vector library based on rational trigonometry by N. Wildberger.

Новые задания по курсу ФЛП