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
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- ☆13Updated last month
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- experimental computational medium and supporting tools☆23Updated last month
- The Aldor Programming Language☆35Updated 7 months ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- A small implementation of type inference☆80Updated 10 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- Bigloo Scheme Compiler☆12Updated 9 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆43Updated 9 years ago
- Magnolisp, a toy programming language☆17Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- SML Parser Combinator Library☆28Updated 9 years ago