Projects in Awesome Lists tagged with lambda-calculus
A curated list of projects in awesome lists tagged with lambda-calculus .
https://github.com/higherorderco/kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 14 May 2025
https://github.com/higherorderco/kind1
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 12 Apr 2025
https://github.com/HigherOrderCO/Kind1
A next-gen functional language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 27 Aug 2025
https://github.com/sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory
Last synced: 15 May 2025
https://github.com/jasonshin/fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Last synced: 16 May 2025
https://github.com/JasonShin/fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Last synced: 28 Mar 2025
https://github.com/niltok/magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Last synced: 26 Mar 2025
https://github.com/woodrush/lambda-8cc
x86 C compiler written in untyped lambda calculus
c c-compiler compiler lambda-calculus ski-combinator-calculus
Last synced: 05 Apr 2025
https://github.com/glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
church-encodings combinators combinatory-logic composition currying functional-programming javascript lambda-calculus mathematics theory-of-computation
Last synced: 05 Apr 2025
https://github.com/slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 May 2025
https://github.com/slovnicki/plam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 Apr 2025
https://github.com/cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-intersections dependent-types lambda-calculus programming-language
Last synced: 18 Mar 2025
https://github.com/pagarme/lambda
🔮 Estudos obscuros de programação funcional
functional-programming javascript lambda-calculus php ramda ramdajs
Last synced: 26 Mar 2025
https://github.com/chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover
Last synced: 10 Apr 2025
https://github.com/Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover
Last synced: 22 Apr 2025
https://github.com/woodrush/lambdalisp
A Lisp interpreter written in untyped lambda calculus
interpreter lambda-calculus lisp lisp-interpreter repl
Last synced: 08 Oct 2025
https://github.com/cognate-lang/cognate
A human readable quasi-concatenative programming language
based-stack-based-language c closures combinatorics compiler forth forth-like functional-programming interpreter lambda-calculus language natural-language prefix-notation proglangs-discord programming-language stack-based-language stack-language
Last synced: 12 Apr 2025
https://github.com/ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
haskell haskell-learning lambda-calculus reduction
Last synced: 15 May 2025
https://github.com/lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
lambda-calculus programming-languages tapl type-theory types types-and-programming-languages
Last synced: 27 Apr 2025
https://github.com/chibicode/y-combinator-for-non-programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
functional-programming lambda-calculus react reactjs typescript y-combinator
Last synced: 25 Aug 2025
https://github.com/discus-lang/iron
Coq formalizations of functional languages.
coq coq-formalizations lambda-calculus proof theory
Last synced: 25 Oct 2025
https://github.com/benji6/combinators-js
:bird: Some combinators
combinator combinatory-logic functional-programming haskell lambda-calculus
Last synced: 04 Apr 2025
https://github.com/benji6/church
:church: Church Encoding in JS
church-encoding combinatory-logic functional-programming haskell lambda-calculus
Last synced: 04 Apr 2025
https://github.com/ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding
Last synced: 05 Apr 2025
https://github.com/andrew-johnson-4/lsts
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 07 Apr 2025
https://github.com/andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 13 Apr 2025
https://github.com/sgillespie/lambda-calculus
An introduction to the Lambda Calculus
Last synced: 10 Nov 2025
https://github.com/gtramontina/lambda
Fun with λ calculus!
es6 es6-javascript functional functional-programming javascript lambda lambda-calculus
Last synced: 14 Jul 2025
https://github.com/abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
interactive-theorem-proving lambda-calculus meta-theory
Last synced: 30 Apr 2025
https://github.com/orsinium-labs/python-lambda-calculus
Lambda Calculus things implemented on Python
combinator functional-programming lambda lambda-calculus python ycombinator
Last synced: 02 Aug 2025
https://github.com/sjsyrek/malc
Make a lambda calculus.
elixir functional-programming haskell javascript lambda-calculus lambda-expressions lambda-functions perl6 python ruby
Last synced: 25 Oct 2025
https://github.com/polux/lambda-diagrams
Animations of lambda term reduction sequences
Last synced: 07 Jan 2026
https://github.com/clark800/lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
c functional functional-programming haskell krivine-machine lambda-calculus lazy-evaluation minimalist programming-language pythonic
Last synced: 09 Apr 2025
https://github.com/bor0/gidti
Book: Introduction to Dependent Types with Idris
books dependent-types idris lambda-calculus theorem-proving type-theory types
Last synced: 01 Nov 2025
https://github.com/mroman42/mikrokosmos
(λ) Educational lambda calculus interpreter
haskell interpreter lambda-calculus
Last synced: 16 Mar 2025
https://github.com/discus-lang/salt
The compilation target that functional programmers always wanted.
compilation compiler functional lambda-calculus language low-level target
Last synced: 29 Apr 2025
https://github.com/orsinium-labs/rlci
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
fp functional-programming interpreter lambda lambda-calculus programming-language rust
Last synced: 15 Apr 2025
https://github.com/whatisrt/meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
cedille dependent-types lambda-calculus metaprogramming
Last synced: 05 Oct 2025
https://github.com/ngzhian/ski
SKI combinators
lambda-calculus ski-combinator-calculus ski-expression
Last synced: 30 Jun 2025
https://github.com/steshaw/lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
lambda-calculus programming-languages
Last synced: 07 Oct 2025
https://github.com/tarao/lambdajs
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
evaluator javascript lambda-calculus tutorial
Last synced: 14 Apr 2025
https://github.com/wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
compiler ffi garbage-collect hindley-milner lambda-calculus llvm llvm-compiler newtypes polymorphism programming-language static-typing system-f type-safety typeclass zion
Last synced: 15 Sep 2025
https://github.com/codedot/lambda
Macro Lambda Calculus
interaction-nets lambda-calculus
Last synced: 13 Apr 2025
https://github.com/zhiayang/lambda
lambda calculus interpreter
interpreter lambda lambda-calculus repl
Last synced: 20 Mar 2025
https://github.com/lukeg101/lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
haskell-learning lambda-calculus language-design quickcheck type-theory
Last synced: 08 May 2025
https://github.com/thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref
Last synced: 22 Aug 2025
https://github.com/gallettilance/magnificats
Collection of ATS goodness
algorithms ats-lang compiler dependent-types functional-programming lambda-calculus machine-learning neural-network sudoku tail-recursion
Last synced: 31 Aug 2025
https://github.com/mgechev/typed-calc
Interpreter for simply typed lambda calculus implemented in JavaScript λ
interpreter lambda-calculus type-system
Last synced: 30 Apr 2025
https://github.com/tarao/lambda-scala
Type level lambda calculus in Scala
lambda-calculus scala typelevel
Last synced: 05 Jul 2025
https://github.com/lysxia/system-f
Formalization of the polymorphic lambda calculus and its parametricity theorem
coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f
Last synced: 22 Mar 2025
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 10 Jul 2025
https://github.com/lorepozo/program-induction
A library for program induction and learning representations.
bayesian-inference genetic-programming lambda-calculus pcfg program-induction representation-learning
Last synced: 09 May 2025
https://lunarcast.github.io/lunarflow/
Lambda calculus go brrrr
functional-programm lambda-calculus purescript
Last synced: 11 Jul 2025
https://github.com/rawlins/lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
digital-fragments jupyter jupyter-notebook lambda-calculus linguistics semantics
Last synced: 25 Jun 2025
https://github.com/l-tchen/type-theory
Lecture note on Lambda Calculus and Types for FLOLAC
lambda-calculus lecture system-f type-theory
Last synced: 14 Jul 2025
https://github.com/woodrush/lambdacraft
Common Lisp DSL for building untyped lambda calculus expressions
Last synced: 05 Jan 2026
https://github.com/gallettilance/ats-blockchain
⛓️ Blockchain + Smart contracts from scratch
ats-lang blockchain blockchain-demo commandline-interface functional-programming interpreter lambda-calculus lisp parser programming-language smart-contract-platform smart-contracts
Last synced: 06 Sep 2025
https://github.com/noti0na1/lambdacalculus-java
Lambda calculus implemented in Java
computer-science java lambda lambda-calculus utlc
Last synced: 24 Mar 2025
https://github.com/oscarsaharoy/lambda-fibonacci
js lambda calculus implementation of the fibonacci sequence
functional-programming lambda-calculus theory
Last synced: 11 Apr 2025
https://github.com/lucpod/aws-lambda-workshop
Some incremental examples suitable to host an AWS Lambda Functions workshop
aws aws-lambda lambda lambda-calculus serverless tutorial workshop
Last synced: 16 May 2025
https://github.com/alangpierce/lambdacalculusplayground
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Last synced: 29 Oct 2025
https://github.com/toadharvard/lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
functional-programming lambda-calculus ocaml
Last synced: 06 Oct 2025
https://github.com/gurbaaz27/typeless
an interpreter for λ-calculus implemented in ruby
abstract-syntax-tree beta-reduction compiler interpreter lambda-calculus lexer-parser ll1-grammar ll1-parser parser ruby
Last synced: 25 Oct 2025
https://github.com/kspalaiologos/blc-mb
Binary Lambda Calculus evaluation engine written in Malbolge.
functional-programming lambda-calculus malbolge
Last synced: 10 Jul 2025
https://github.com/fritzo/pomagma
An inference engine for extensional untyped λ-calculus
inference-engine lambda-calculus theorem-proving
Last synced: 05 May 2025
https://github.com/rootmos/silly-k
silly-k is an experimental language inspired by K and APL
apl k lambda-calculus malfunction nanopass scheme
Last synced: 06 Oct 2025
https://github.com/gergoerdi/universe-of-syntax
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
agda lambda-calculus normalization simply-typed-lambda-calculus substitution
Last synced: 09 Mar 2025
https://github.com/gergoerdi/stlc-agda
STLC-related snippets in Agda
agda lambda-calculus stlc typechecker
Last synced: 09 Mar 2025
https://github.com/woodrush/lambda-calculus-devkit
A collection of lambda calculus interpreters and development tools
Last synced: 05 Jan 2026
https://github.com/gergoerdi/interaction-nets
Haskell implementation of interaction net-based lambda evaluation
evaluator haskell interaction-nets lambda-calculus
Last synced: 05 Aug 2025
https://github.com/thamugadi/call-cc-krivine
A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
call-cc haskell krivine-machine lambda-calculus
Last synced: 10 Apr 2025
https://github.com/georgejkaye/lamviz-js
A visualiser for lambda terms as rooted maps.
combinatorics generator graphs lambda-calculus maps visualiser
Last synced: 12 Apr 2025
https://github.com/andrew-johnson-4/perplexity
A notational semantic for documenting neural networks through diagrams
category-theory diagramming documentation domain-specific-language lambda-calculus modelling neural-network visual-programming
Last synced: 28 Feb 2025
https://github.com/aartaka/stdlambda
Standard library for Lambda Calculus, finally making LC a practical programming language.
arithmetic boolean-logic cons lambda-calculus list recursion set stdlib
Last synced: 05 Apr 2025
https://github.com/brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
bidirectional-typechecking elm lambda-calculus simply-typed-lambda-calculus type-checking
Last synced: 09 Apr 2025
https://github.com/genivia/husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
functional-language hindley-milner lambda-calculus lazy-evaluation type-inference
Last synced: 09 Apr 2025
https://github.com/ggandor/y-combinator-tutorial
An extremely short but hopefully enlightening practical explanation of the Y combinator
computer-science lambda-calculus recursion y-combinator
Last synced: 03 Jan 2026
https://github.com/lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
cats debruijn-indices functional-programming interpreter lambda-calculus lambda-calculus-interpreter programming-language scala scala-cli scala3 untyped-lambda-calculus y-combinator
Last synced: 18 Jul 2025
https://github.com/yesco/jml
jml - a useful web/cloud minimal unikernel distributed operating system
eval functional functional-language html lambda-calculus language operating-system unikernel urbit web webserver
Last synced: 11 Apr 2025
https://github.com/uds-psl/coqtm
Formalising Turing Machines In Coq (bachelor's thesis)
bachelor-thesis coq-formalization lambda-calculus simulator turing-machine
Last synced: 23 Apr 2025
https://github.com/ncfavier/glam
Polymorphic guarded λ-calculus
guarded-recursion lambda-calculus
Last synced: 18 Jul 2025
https://github.com/glebec/lambda-talk-practical
Some JS techniques and tools which are at least associated with lambda calculus
functional-programming javascript lambda-calculus theory
Last synced: 31 Jul 2025
https://github.com/maeln/lambdahindleymilner
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
hindley-milner imt-atlantique inference-algorithm lambda-calculus
Last synced: 06 Jul 2025
https://github.com/ljedrz/blc
Binary lambda calculus
binaryformat encoding lambda-calculus rust-library
Last synced: 08 Aug 2025
https://github.com/jimouris/lambda-calculus-interpreter
⚙️ A simple lambda (λ) calculus interpreter
church-numerals haskell lambda lambda-calculus lambda-calculus-interpreter
Last synced: 08 Apr 2025
https://github.com/grame-cncm/elody
Elody: a music composition environment based on a visual functional language.
java lambda-calculus music-composition
Last synced: 25 Apr 2025
https://github.com/michaelsproul/dblib-linear
Formalisation of the linear lambda calculus in Coq
coq honours-thesis lambda-calculus programming-language proof software-verification type-system
Last synced: 07 May 2025
https://github.com/ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
bidirectional-typechecking compiler lambda-calculus racket type-checker type-inference x86
Last synced: 05 Jan 2026
https://github.com/bjoernloetters/lambda-m
A lazy and untyped experimental programming language
functional-programming haskell lambda-calculus macros metaprogramming pattern-matching programming programming-language
Last synced: 05 May 2025
https://github.com/surrsurus/gazelle
Scripting language inspired by LISP and Scheme
deer experiment functional functional-programming haskell interpreter lambda-calculus lisp lisp-interpreter python repl scheme scheme-interpreter scripting-language
Last synced: 15 Aug 2025
https://github.com/ef55/stainless-stlc
System F in Stainless
lambda-calculus stainless system-f verified
Last synced: 25 Oct 2025
https://github.com/mroman42/jupyter-mikrokosmos
A Jupyter kernel for the Mikrokosmos lambda interpreter
jupyter-notebook lambda-calculus
Last synced: 21 Aug 2025
https://github.com/thesephist/lambda
The untyped lambda calculus, implemented in Ink
ink lambda-calculus y-combinator z-combinator
Last synced: 20 Jun 2025
https://github.com/rootmos/silly-church
A small example of a nanopass style compiler
church-encoding lambda-calculus nanopass scheme
Last synced: 25 Jul 2025
