A next-gen functional language
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
Elsa is a lambda calculus evaluator
Exercises from Benjamin Pierce's "Types and Programming Languages" textb...
Coq formalizations of functional languages.