nikitadanilov / 3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
☆102Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for 3-lisp
- Common Lisp implementation of the Forth 2012 Standard☆104Updated last week
- HASKELL: Yale Haskell system written in Lisp☆96Updated 10 years ago
- A batteries-included extended standard library for seven R7RS Scheme dialects.☆92Updated 3 years ago
- Ultralight Lisp for the Web☆89Updated 7 months ago
- Medley Interlisp virtual machine☆142Updated this week
- Wants to be the SLIME of Forth☆61Updated 11 months ago
- A simple incomplete Scheme-to-C compiler☆66Updated last month
- an implementation-independent framework for creating Common Lisp compilers☆48Updated 2 months ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- Scheme Macro Programming☆48Updated 3 months ago
- A Small Lisp in Forth☆153Updated 3 years ago
- Shen for Common Lisp (Unmaintained)☆122Updated 5 months ago
- Bibliography of Scheme research (readscheme.org and beyond)☆150Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆100Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆26Updated 6 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Updated last month
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆59Updated 13 years ago
- The GRAphical Scheme Programming Environment☆36Updated this week
- Maru - a tiny self-hosting lisp dialect☆189Updated 5 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 4 months ago
- Swank server for r7rs Schemes☆53Updated 5 months ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆208Updated 3 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 3 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆49Updated 2 years ago
- staged relational interpreters: running with holes, faster☆125Updated last week
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆145Updated 4 months ago