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:
- Our Ludum Dare entry☆20Updated 8 years ago
- High-end Cryptographic Library☆44Updated 6 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Stackless Joy☆23Updated 9 months ago
- A new logic programming language.☆175Updated 2 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- ☆19Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 9 months ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Updated 10 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Updated 2 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- A library for hot reloading of C functions☆22Updated 9 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 11 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 9 months ago
- x86 assembler in scheme☆29Updated 6 years ago
- Fast, simplified WAM-based Prolog system☆25Updated 3 months ago
- ☆28Updated 5 months ago
- Embeddable Forth inspired scripting language☆37Updated 7 years ago
- Boolean Constraint Solving in Prolog☆48Updated last year
- lang Thue + Regex☆15Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- minikanren mips assembler/disassembler☆34Updated 10 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 3 weeks ago