thetrime / proscript
A Javascript implementation of Prolog
☆16Updated 9 years ago
Alternatives and similar repositories for proscript:
Users that are interested in proscript are comparing it to the libraries listed below
- If at first you don't succeed☆12Updated 4 years ago
- ☆31Updated 3 months ago
- Poplog☆21Updated 14 years ago
- SWI-Prolog dynamic C interface☆17Updated 7 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- Stackless Joy☆23Updated last week
- ☆21Updated 12 years ago
- Prolog and Java version of Facebook's React concept☆15Updated 4 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Discuss future development☆21Updated 9 years ago
- Kernel-like interpreter☆24Updated 7 months ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆27Updated 14 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆35Updated 6 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- Boolean Constraint Solving in Prolog☆42Updated 4 months ago
- Scheme on SECD☆42Updated 4 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- backup of the joy programming language☆30Updated 9 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- WebAssembly AST Forth☆20Updated 8 years ago