jdswalker / Interpreter-in-PrologLinks
An interpreter capable of executing a simple scripting language from a plain-text file
☆14Updated 8 years ago
Alternatives and similar repositories for Interpreter-in-Prolog
Users that are interested in Interpreter-in-Prolog are comparing it to the libraries listed below
Sorting:
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Updated 2 years ago
- lang Thue + Regex☆15Updated 3 years ago
- High-end Cryptographic Library☆44Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆38Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 7 months ago
- My Own Linear Lisp☆42Updated 7 years ago
- Fast, simplified WAM-based Prolog system☆25Updated 3 weeks ago
- stck is a stack-based programming language☆26Updated 11 months ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 7 months ago
- Stackless Joy☆23Updated 7 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 11 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 3 weeks 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 simple concatenative programming language written in C++☆34Updated 7 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- ☆18Updated 6 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- ☆19Updated 7 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- ☆14Updated 4 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Scheme on SECD☆43Updated 4 years ago
- an advanced text adventure engine with a web interface, written in prolog☆24Updated 10 years ago