lambda-calculus topic
fp-core.rs
A library for functional programming in Rust
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
iron
Coq formalizations of functional languages.
magic-in-ten-mins
十分钟魔法练习
elsa
Elsa is a lambda calculus evaluator
pLam
An interpreter for learning and exploring pure λ-calculus
Kind1
A next-gen functional language
HOL
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.
lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations