Building a modern functional compiler from first principles. (http://dev...
A library for functional programming in Rust
十分钟魔法练习
x86 C compiler written in untyped lambda calculus
Canonical sources for HOL4 theorem-proving system. Branch develop is w...
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings i...
An interpreter for learning and exploring pure λ-calculus
Cedille, a dependently typed programming languages based on the Calculus...
🔮 Estudos obscuros de programação funcional
Automatic code generation for Scala functions and expressions via the Cu...
A human readable quasi-concatenative programming language
Exercises from Benjamin Pierce's "Types and Programming Languages" textb...
Elsa is a lambda calculus evaluator
Coq formalizations of functional languages.
:bird: Some combinators