A Lisp interpreter written in untyped lambda calculus
☆251Mar 10, 2023Updated 2 years ago
Alternatives and similar repositories for lambdalisp
Users that are interested in lambdalisp are comparing it to the libraries listed below
Sorting:
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- A programmable virtual CPU written in untyped lambda calculus☆61Oct 20, 2022Updated 3 years ago
- x86 C compiler written in untyped lambda calculus☆681Oct 7, 2022Updated 3 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆487Jan 17, 2022Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆126Apr 11, 2025Updated 10 months ago
- Bootstrapping LISP in a Boot Sector☆1,472Nov 27, 2024Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆198Feb 16, 2026Updated 2 weeks ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Dec 18, 2025Updated 2 months ago
- The adventures of a Haskell compiler☆236Oct 24, 2025Updated 4 months ago
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,538Feb 23, 2026Updated last week
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆229Feb 22, 2026Updated last week
- 16-bit SUBLEQ CPU running eForth - just for fun☆79Jan 26, 2026Updated last month
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆92Aug 5, 2022Updated 3 years ago
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- A fresh implementation of Common Lisp☆1,141Feb 26, 2026Updated last week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 6 months ago
- PicoLisp is an open source Lisp dialect. It is based on LLVM and compiles and runs on any 64-bit POSIX system. Its most prominent feature…☆241Updated this week
- ISLisp interpreter/compiler☆325Jan 18, 2026Updated last month
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.☆472May 7, 2022Updated 3 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Oct 12, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- A neural network written in pure Lisp without built-in numbers☆42Jan 21, 2022Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- The APL programming language (a subset thereof) compiling to Common Lisp.☆648Jun 15, 2025Updated 8 months ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆179Jun 12, 2021Updated 4 years ago
- General-purpose editor/IDE with high expansibility in Common Lisp☆2,896Feb 28, 2026Updated last week
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆628Aug 18, 2024Updated last year
- Common Lisp implementation of the Forth 2012 Standard☆135Dec 16, 2025Updated 2 months ago
- ☆11Jan 22, 2022Updated 4 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago