erjiang / foxschemeLinks
An R5RS Scheme in JavaScript.
☆17Updated 3 months ago
Alternatives and similar repositories for foxscheme
Users that are interested in foxscheme are comparing it to the libraries listed below
Sorting:
- Relational Programming in miniKanren☆52Updated 10 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- MiniPascal implemented in Racket☆92Updated 4 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Updated 4 years ago
- The Aldor Programming Language☆35Updated 8 months ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- Meld compiler written in Common Lisp☆13Updated 9 years ago
- IA32 assembler in PLT Scheme☆32Updated 15 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆43Updated 9 years ago
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆23Updated 14 years ago
- Scheme R7RS frontend for LLVM☆69Updated 7 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- ☆13Updated 2 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 14 years ago
- A small implementation of type inference☆80Updated 10 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Scheme on SECD☆43Updated 4 years ago
- ☆10Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 10 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago