woodrush / lambdalisp
A Lisp interpreter written in untyped lambda calculus
☆239Updated 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 10 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆457Updated 3 years ago
- A tiny Racket for scripting☆283Updated last week
- 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…☆202Updated this week
- A self-hosting Scheme to WebAssembly compiler☆209Updated 4 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆618Updated 2 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆509Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆291Updated 4 months ago
- An R7RS Scheme implemented in WebAssembly☆174Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆109Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆285Updated this week
- The standalone Linux Lisp☆312Updated 2 months ago
- Programming with pure lambda calculus☆100Updated last week
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆159Updated 7 months ago
- The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Inter…☆392Updated this week
- A work-in-progress garbage collector for Guile☆166Updated 2 weeks ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Medley Interlisp virtual machine☆145Updated this week
- a BQN implementation in C☆343Updated this week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Archive of LISP Machine, Inc.☆265Updated 4 years ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Common Lisp implementation of the Forth 2012 Standard☆114Updated 2 months ago
- Haskell + Lisp☆207Updated 9 months ago
- ISLisp interpreter/compiler☆296Updated this week
- Maru - a tiny self-hosting lisp dialect☆193Updated 8 months ago
- A human readable quasi-concatenative programming language☆249Updated 3 weeks ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated last week
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆122Updated 9 years ago
- A Small Lisp in Forth☆156Updated 3 years ago