lambda-calculus
There are 679 repositories under lambda-calculus topic.
HigherOrderCO/Kind
A modern proof language
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
JasonShin/fp-core.rs
A library for functional programming in Rust
niltok/magic-in-ten-mins
十分钟魔法练习
HOL-Theorem-Prover/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.
woodrush/lambda-8cc
x86 C compiler written in untyped lambda calculus
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
cognate-lang/cognate
A human readable quasi-concatenative programming language
woodrush/lambdalisp
A Lisp interpreter written in untyped lambda calculus
lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
lambda-study-group/awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
chibicode/Y-Combinator-for-Non-programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
polux/lambda-diagrams
Animations of lambda term reduction sequences
discus-lang/iron
Coq formalizations of functional languages.
benji6/combinators-js
:bird: Some combinators
chorasimilarity/chemlambda-gui
Life like molecular computers with artificial chemistry.
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
benji6/church
:church: Church Encoding in JS
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems: ML/C Hybrid Programming Language
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
marvinborner/birb
:bird: *cheep cheep shriek caw*
sgillespie/lambda-calculus
An introduction to the Lambda Calculus
gtramontina/lambda
Fun with λ calculus!
zehaochen19/vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
orsinium-labs/python-lambda-calculus
Lambda Calculus things implemented on Python
sjsyrek/malc
Make a lambda calculus.
asperti/BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
clark800/lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
bor0/gidti
Book: Introduction to Dependent Types with Idris
mroman42/mikrokosmos
(λ) Educational lambda calculus interpreter
moonad-archive/Formality-JavaScript
An implementation of the Formality language in JavaScript