woodrush / lambdalisp
A Lisp interpreter written in untyped lambda calculus
☆238Updated last year
Alternatives and similar repositories for lambdalisp:
Users that are interested in lambdalisp are comparing it to the libraries listed below
- A functional, flexible and concise Lisp.☆281Updated 9 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆456Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆283Updated this week
- A self-hosting Scheme to WebAssembly compiler☆208Updated 4 years ago
- An R7RS Scheme implemented in WebAssembly☆175Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆108Updated 2 years ago
- A tiny Racket for scripting☆280Updated 5 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…☆195Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆505Updated this week
- A work-in-progress garbage collector for Guile☆157Updated this week
- The standalone Linux Lisp☆311Updated last month
- The APL programming language (a subset thereof) compiling to Common Lisp.☆616Updated last month
- Programming with pure lambda calculus☆93Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆284Updated 2 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 2 months ago
- A curated list of awesome Lisp Machine and Lisp Operating System☆220Updated 3 months ago
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆156Updated 6 months ago
- Common Lisp implementation of the Forth 2012 Standard☆110Updated last month
- Rhombus programming language☆363Updated this week
- An embeddable flow-oriented language.☆68Updated this week
- tar creator+extractor in ~100 lines of prolog☆258Updated 2 years ago
- A fast functional language based on two level type theory☆388Updated 2 years ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆229Updated last week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆287Updated 2 years ago
- C to Common Lisp compiler☆309Updated 2 years ago
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆121Updated 9 years ago
- a BQN implementation in C☆337Updated this week
- The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Inter…☆391Updated this week
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago