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 12 years ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 4 years ago
- ☆35Updated 8 months ago
- SWI-Prolog dynamic C interface☆17Updated last year
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆234Updated 4 years ago
- the Meta-II VM in C☆20Updated 10 years ago
- Stackless Joy☆23Updated 5 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Kernel-like interpreter☆25Updated last year
- Modernized Sisal Interpreter☆29Updated 6 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 4 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated 2 years ago
- Poplog☆21Updated 14 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆128Updated 3 years ago
- The Om programming language.☆174Updated 11 months ago
- ☆21Updated 12 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- Rewrite of Arc 3.1 with more features, more speed, and bug fixes. Still compatible with Arc 3.1.☆49Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- backup of the joy programming language☆30Updated 9 years ago
- A new logic programming language.☆175Updated 2 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 16 years ago
- Prolog HTTPS Servers☆39Updated 7 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago