thetrime / proscriptLinks
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
Sorting:
- If at first you don't succeed☆12Updated 5 years ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- ☆36Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago
- Poplog☆21Updated 15 years ago
- stack-based RPN functional programming language☆55Updated 8 years ago
- Stackless Joy☆23Updated 9 months ago
- Fast, simplified WAM-based Prolog system☆25Updated 3 months ago
- the Meta-II VM in C☆21Updated 10 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- Prolog implementation of microKanren☆44Updated 10 years ago
- Enhanced version of Tim Budd's SmallWorld (Smalltalk on JVM)☆34Updated 10 years ago
- Scheme on SECD☆43Updated 4 years ago
- MLWorks is a Standard ML compiler and development environment.☆180Updated 7 years ago
- ☆22Updated 12 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆38Updated 4 years ago
- backup of the joy programming language☆31Updated 9 years ago
- The Om programming language.☆174Updated last year
- ALS Prolog Compiler & Development Environment☆17Updated 4 months ago
- Oberon 07 compiler (written in JavaScript and translates to JavaScript)☆135Updated 5 years ago
- Ralph is a Lisp-1 dialect that compiles to JavaScript☆74Updated 6 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- Markdown parser for SWI-Prolog.☆23Updated 5 years ago
- Forth engine in JavaScript☆63Updated 3 years ago
- Val Schorre's META-II☆62Updated 12 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago