Projects in Awesome Lists tagged with lambda-calculus
A curated list of projects in awesome lists tagged with lambda-calculus .
https://github.com/forked-from-1kasper/lambda
Untyped lambda calculus implemented in Lean
Last synced: 24 Feb 2025
https://github.com/francisrstokes/lambda-calculus
🐑Lambda calculus parser and evaluator in haskell
evaluator haskell lambda-calculus parser parser-combinators
Last synced: 04 Apr 2025
https://github.com/leostera/alonzo.js
Minimalistic Lambda Calculus Built with const and arrow functions
functional-js functional-programming javascript lambda lambda-calculus
Last synced: 01 Nov 2025
https://github.com/radeusgd/pdot-gadt
Formal foundations for GADTs in Scala
coq formal-methods formalization gadt gadts lambda-calculus scala
Last synced: 20 May 2026
https://github.com/eownerdead/slambda
λ Untyped Lambda Calculus Evaluator
haskell interpreter lambda lambda-calculus language megaparsec parsec programming-language scripting-language untyped untyped-lambda-calculus
Last synced: 03 Sep 2025
https://github.com/floriancassayre/typeduntypedlambdacalculus
Proof of concept interpreter for the untyped lambda calculus, implemented within the Scala type system.
lambda-calculus scala type-system
Last synced: 13 May 2025
https://github.com/adamouization/lambda-calculus-proofs
Short proofs about using the Lambda-Calculus as a Programming Language (2017)
functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex
Last synced: 27 Jun 2025
https://github.com/hargonix/lean-cube
Theories in Lean for various calculi from the lambda cube.
formal-verification lambda-calculus lambda-cube lean4
Last synced: 21 May 2026
https://github.com/yiyunliu/system-f-omega
Strong normalization and parametricity for System Fω in Coq
coq denotational-semantics impredicative-types lambda-calculus polymorphic-types type-theory
Last synced: 03 Jan 2026
https://github.com/codecop/fizzbuzz-with-nothing-kata
Exercise to practice working with functions.
exercise functional-programming kata lambda-calculus
Last synced: 24 Jul 2025
https://github.com/bagnalla/pcf
A PCF interpreter in Haskell.
haskell lambda-calculus pcf programming-languages type-theory
Last synced: 27 Jul 2025
https://github.com/kab1r/elsa-lambda-calculus-mode
Major Mode for Elsa, a tiny Lambda Caclulus Evaluator
elisp elsa emacs emacs-lisp lambda-calculus literate-programming major-mode org-mode syntax-highlighting
Last synced: 27 Jul 2025
https://github.com/ocramz/bound-simple
A lightweight utility library for implementing lambda abstraction and beta reduction in embedded languages.
Last synced: 20 Sep 2025
https://github.com/tibordp/gator-calculus
A game of untyped lambda calculus based on http://worrydream.com/AlligatorEggs/
Last synced: 22 Aug 2025
https://github.com/theodedeken/lambda-rs
Lambda interpreter written in Rust
Last synced: 01 Aug 2025
https://github.com/aartaka/lamber
A functional scripting language compiling to pure Lambda Calculus
common-lisp functional-programming haskell lambda-calculus lisp lua scripting wisp
Last synced: 05 May 2026
https://github.com/fitter0happier/lambda_parser
Lambda Calculus parser
functional-programming haskell lambda-calculus monad
Last synced: 15 Mar 2025
https://github.com/Jim-Fan/lambda
Experimental interpreter for untyped lambda calculus
bison flex lambda-calculus parser
Last synced: 11 May 2025
https://github.com/lemniscate-world/robust-lambda
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
formal-languages lambda lambda-calculus lambda-calculus-evaluator
Last synced: 25 Mar 2025
https://github.com/tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator
Last synced: 24 Jul 2025
https://github.com/endygamedev/learn-haskell
λ Haskell and Lambda Calculus.
functional-programming haskell lambda-calculus
Last synced: 17 Jun 2025
https://github.com/h2co3/lambda
Doing homework for fun, from a class I don't attend, because I like compilers
cpp cpp14 lambda lambda-calculus
Last synced: 31 May 2026
https://github.com/davidelettieri/tapl
C# implementation for TAPL
csharp lambda-calculus tapl types-and-programming-languages
Last synced: 10 Oct 2025
https://github.com/gustavodiasag/simpler
Interpreter for a functional, expression-based programming language
functional-programming interpreter lambda-calculus ocaml programming-language
Last synced: 10 Oct 2025
https://github.com/Lemniscate-world/Robust-Lambda
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
formal-languages lambda lambda-calculus lambda-calculus-evaluator
Last synced: 13 Oct 2025
https://github.com/ilyabizyaev/type-theory
Type Theory course homework (2019), ITMO University
haskell lambda-calculus type-theory
Last synced: 15 Oct 2025
https://github.com/phipsgabler/mini-lambda
A small normalizer for lambda calculus, implementing (almost) everything from scratch.
lambda-calculus parser-combinators
Last synced: 15 Oct 2025
https://github.com/yiyunliu/takahashi-factorization
A proof of factorization using Takahashi's method
coq-formalization lambda-calculus
Last synced: 27 Oct 2025
https://github.com/deric-w/lambda_repl
REPL for the lambda calculus
education lambda-calculus lambda-calculus-interpreter python3 read-eval-print-loop repl
Last synced: 31 Jan 2026
https://github.com/pyccel/lampy
Extension of Pyccel for functional programming
fortran functional-programming hpc lambda-calculus openacc openmp python
Last synced: 26 Feb 2026
https://github.com/maxhallinan/redexer
Step through the reduction of an untyped lambda calculus term.
Last synced: 19 Mar 2026
https://github.com/alejogs4/church-encoding-javascript
Church encoding to represent typical programming structures on Javascript
church-encoding functional-programming javascript lambda-calculus
Last synced: 06 Jun 2026
https://github.com/honzabrecka/la
An extremely impractical, but pure programming language.
interpreter la lambda-calculus programming-language
Last synced: 25 Apr 2026
https://github.com/bynect/system-f-cli
Small SystemF interpreter
lambda-calculus system-f typed-lambda-calculus
Last synced: 25 Apr 2026
https://github.com/jt2m0l3y/mypl
Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.
ast code-generation compiler-design cpp grammars jit lambda-calculus lexical-analysis ocaml parsing type-checking vm
Last synced: 01 May 2026
https://github.com/ashwinvis/experiments-with-haskell
A journal for the journey to enlightenment
advent-of-code functional-programming haskell jupyter-notebook lambda-calculus learn-you-a-haskell
Last synced: 02 May 2026
https://github.com/cristian-5/lemma
λ-Calculus Interpreter for Students
deno interpreter javascript lambda lambda-calculus
Last synced: 09 May 2026
https://github.com/mustafaaamir/lamlt
A typed lambda-calculus evaluator written in OCaml
Last synced: 24 Mar 2025
https://github.com/yazaldefilimone/lambda-checker
A dependent type checker for lambda calculus.
compiler dependent-types lambda-calculus rust type-checker
Last synced: 27 May 2026
https://github.com/jack994/lambdacalculus_in_sml
functional-programming lambda-calculus sml
Last synced: 27 Jan 2026
https://github.com/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 02 Jan 2026
https://github.com/ibrahimcesar/categorical-semantics-workbench
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
category-theory code-generation compiler curry-howard lambda-calculus linear-types programming-languages rust type-systems type-theory
Last synced: 13 Jan 2026
https://github.com/rightfold/led
Lambda Editor.
editor lambda-calculus purescript
Last synced: 02 Mar 2026
https://github.com/kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
control-operators coq delimited-continuations formalization lambda-calculus
Last synced: 23 Jan 2026
https://github.com/madmann91/lambda
Simple lambda calculus language with type inference
Last synced: 14 Mar 2025
https://github.com/rudxain/fastlisp
This is not mine. It's an orphan fork
functional-programming implementation lambda-calculus lisp minimalist pure-functional specification transpiler
Last synced: 19 Aug 2025
https://github.com/rsm-lisper/lambda-calculus-interpreter
Lambda Calculus Interpreters implemented in couple different languages. Just for fun.
interpreter lambda lambda-calculus
Last synced: 23 Aug 2025
https://github.com/zoedsoupe/spellbind
simple lambda calculus interpreter - WIP
elixir interpreter lambda-calculus
Last synced: 23 Feb 2025
https://github.com/yazaldefilimone/lambda-calculus-typescript
Tiny lambda calculus implementations using Typescript
functional-programming lambda-calculus math
Last synced: 26 Jul 2025
https://github.com/jglrxavpok/abstracttypeinference
A test project to try making abstract type inference
calculus inference lambda lambda-calculus type
Last synced: 15 Apr 2026
https://github.com/jiriklepl/bachelor-thesis-stuff
Stuff for the Bachelor Thesis repository
bachelor-thesis c hindley-milner lambda-calculus mff-uk
Last synced: 27 Mar 2025
https://github.com/jiriklepl/bachelor-thesis-text
bachelor-thesis c haskell hindley-milner lambda-calculus mff-uk
Last synced: 05 May 2026
https://github.com/omentic/mechanicals
Various implementations of the lambda calculus and friends
bidirectional-typechecking lambda-calculus
Last synced: 03 Feb 2026
https://github.com/ianwold/hackylambdas
A hacky lambda calculus interpreter
Last synced: 06 Apr 2025
https://github.com/james-p-d/lambda
A simple Lambda expression interpreter in Java
beta-reduction console console-application functional-programming java lambda-calculus lambda-expressions repl
Last synced: 20 May 2026
https://github.com/educorreia932-university/feup-diss
M.EIC 2019/2020 - 2ⁿᵈ year / 1ˢᵗ semester
dissertation feup-meic lambda-calculus master-thesis record-polymorphism
Last synced: 30 Oct 2025
https://github.com/shuhei/elmbda
My tiny attempt to implement lambda calculus with Elm
Last synced: 17 Jul 2025
https://github.com/bohun9/shambda
Transpiler from Lambda Calculus to Bash
bash compiler lambda-calculus transpiler
Last synced: 18 Apr 2026
https://github.com/rikosellic/explicitlam
Coq formalization of lambda calculus theories with explicit names. (SETTA'23)
coq-formalization lambda-calculus
Last synced: 31 May 2026
https://github.com/csalih/functional-programming
Homework repo for functional programming
functional-programming haskell lambda-calculus
Last synced: 22 May 2026
https://github.com/yazaldefilimone/lambda-compiler.ts
compiler lambda-calculus type-checker typescript
Last synced: 11 Mar 2025
https://github.com/delreluca/adiram
Small lambda calculus parser as a learning project
haskell haskell-learning lambda-calculus learning-exercise
Last synced: 27 Feb 2025
https://github.com/disguisedpigeon/lambda-interpreter
A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.
diseno-de-lenguajes-de-programacion fic interpreter lambda-calculus lambda-calculus-interpreter ocaml udc
Last synced: 01 Mar 2025
https://github.com/inazak/lambda-calculus-machine
stack-based machine
golang lambda-calculus stack-based
Last synced: 26 Jan 2026
https://github.com/ferdi265/lambda-compiler
A Lambda Calculus to LLVM IR compiler
compiler lambda-calculus llvm pattern-matching python
Last synced: 17 May 2026
https://github.com/scott-fleischman/reason-untyped-lambda
Experimenting with ReasonML for displaying lambda calculus
Last synced: 18 Jun 2025
https://github.com/seeker04/stlc-agda-elab
Agda formalisation of an elaborator for a simply typed language
agda elaboration formalization lambda-calculus
Last synced: 14 Feb 2026
https://github.com/bagnalla/pcf2
PCF with Hindley-Milner type inference.
haskell hindley-milner interpreter lambda-calculus
Last synced: 06 Sep 2025
https://github.com/jwalsh/lambda-calculus-polyglot
Lambda Calculus implementations in 20+ programming languages: functional, imperative, and logic paradigms
computer-science education functional-programming guile lambda-calculus polyglot programming-languages python scheme theory
Last synced: 11 Mar 2026
https://github.com/datashaman/logic
A monad and combinator library. Experimental.
chain combinators combinatory-logic either lambda-calculus maybe monad
Last synced: 21 Jan 2026
https://github.com/jspast/teoriadacomputacao
Trabalhos de Teoria da Computação
lambda-calculus norma-machine turing-machine
Last synced: 26 Jan 2026
https://github.com/werediver/pl-lab
Self-study on programming languages design and implementation
Last synced: 28 Mar 2025
https://github.com/denisdubochevalier/lambdac
WIP: Untyped lambda calculus compiler
compiler-design functional-programming lambda-calculus monadic
Last synced: 21 Jan 2026
https://github.com/john-z-yang/rrrrr-rs
α-conversion & β-reduction will continue until morale improves
compiler lambda-calculus scheme
Last synced: 14 Apr 2026
https://github.com/h908714124/lisp-attempt
clojure eval lambda-calculus lisp parser
Last synced: 15 May 2026
https://github.com/rhagenson/biological-calculus
A Manubot continuous publishing (CP) article on biological calculus
biology lambda-calculus manubot manuscript
Last synced: 29 Oct 2025
