erjiang / foxschemeLinks
An R5RS Scheme in JavaScript.
☆17Updated 2 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
- miniKanren for interactive tutorials on the web☆35Updated 3 months ago
- My Own Linear Lisp☆41Updated 7 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- experimental computational medium and supporting tools☆23Updated last week
- Racket port of the nanopass-framework☆34Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- An idris backend compiling to chez scheme☆48Updated 7 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- A small implementation of type inference☆80Updated 10 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ☆13Updated 3 weeks ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- ☆21Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- Magnolisp, a toy programming language☆17Updated last year
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago