nikitadanilov / 3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
☆111Updated 2 weeks ago
Alternatives and similar repositories for 3-lisp:
Users that are interested in 3-lisp are comparing it to the libraries listed below
- Common Lisp implementation of the Forth 2012 Standard☆117Updated last week
- ☆48Updated 5 months ago
- Ultralight Lisp for the Web☆100Updated last year
- Medley Interlisp virtual machine☆146Updated 2 months ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- A Small Lisp in Forth☆155Updated 4 years ago
- An embeddable flow-oriented language.☆70Updated last month
- Scheme Macro Programming☆52Updated 8 months ago
- ☆48Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- Wants to be the SLIME of Forth☆66Updated last year
- A simple incomplete Scheme-to-C compiler☆67Updated last week
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- virtual lisp machine on linux☆90Updated last year
- Maru - a tiny self-hosting lisp dialect☆195Updated last month
- HASKELL: Yale Haskell system written in Lisp☆98Updated 11 years ago
- Shen for Common Lisp (Unmaintained)☆128Updated 11 months ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆231Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 months ago
- Searchable index of Scheme Lisp libraries☆19Updated last month
- The GRAphical Scheme Programming Environment☆46Updated this week
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆173Updated 9 months ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Updated 3 months ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals.☆74Updated 6 years ago
- Algebraic data types in Common Lisp☆139Updated 8 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆124Updated 9 years ago
- A work-in-progress garbage collector for Guile☆170Updated last week
- ☆97Updated last year