dhess / rabbit-scheme
Guy Steele's RABBIT Scheme compiler
☆58Updated 15 years ago
Related projects: ⓘ
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 10 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆79Updated 3 years ago
- A simple incomplete Scheme-to-C compiler☆65Updated last week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- s7 Scheme☆53Updated 5 years ago
- Don't Lisp, Talk!☆58Updated 5 months ago
- A C implementation of the Shen programming language☆69Updated 2 years ago
- The Pascal-F Verifier☆46Updated 7 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆51Updated 3 years ago
- Le-Lisp by INRIA☆27Updated last year
- Install Cyclone Scheme on your machine.☆33Updated 3 months ago
- ☆41Updated this week
- Concise implementation of a lisp-like language for low-end and embedded devices☆99Updated 10 years ago
- R7RS/R6RS Scheme Implementation☆54Updated 10 months ago
- Pico version of revised⁷ report on the algorithmic language scheme☆29Updated 5 months ago
- Generic collections API for Racket☆53Updated 2 years ago
- Terminal emulator in racket☆40Updated 11 months ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 2 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Canonical miniKanren implementation in Racket☆83Updated 2 years ago
- Portable Standard Lisp☆53Updated 3 years ago
- Hacks related to dissertation☆13Updated 4 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Joel Bartlett's fabled Scheme->C system☆81Updated 4 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆41Updated last year
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆18Updated 8 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago