A modern proof language

• UpdatedJan 22, 2025
• Haskell

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

• UpdatedJan 11, 2021
• Haskell

A library for functional programming in Rust

• UpdatedJul 12, 2022
• Rust

十分钟魔法练习

• UpdatedSep 2, 2023
• HTML

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

• UpdatedOct 7, 2025
• Standard ML

x86 C compiler written in untyped lambda calculus

• UpdatedOct 7, 2022
• Common Lisp

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

• UpdatedFeb 3, 2024
• JavaScript

An interpreter for learning and exploring pure λ-calculus

• UpdatedApr 11, 2021
• Haskell

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

• UpdatedOct 23, 2023
• Agda

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

• UpdatedMay 25, 2025
• Scala

A human readable quasi-concatenative programming language

• UpdatedFeb 4, 2025
• C

A Lisp interpreter written in untyped lambda calculus

• UpdatedMar 10, 2023
• Common Lisp

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

• UpdatedJul 26, 2020
• Rust

Elsa is a lambda calculus evaluator

• UpdatedOct 5, 2025
• Haskell

A curated list of functional programming resources to study the fp paradigm

• UpdatedJul 27, 2024

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

• UpdatedAug 3, 2023
• TypeScript

Animations of lambda term reduction sequences

• UpdatedMay 30, 2018
• Haskell

Coq formalizations of functional languages.

• UpdatedJul 2, 2020
• Coq

🐦 Some combinators

• UpdatedDec 3, 2024
• JavaScript

Life like molecular computers with artificial chemistry.

• UpdatedOct 12, 2022
• HTML