trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
☆289Updated this week
Alternatives and similar repositories for trealla:
Users that are interested in trealla are comparing it to the libraries listed below
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆297Updated 4 months ago
- A tiny Racket for scripting☆283Updated last month
- A Lisp interpreter written in untyped lambda calculus☆240Updated 2 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆510Updated last week
- PicoLisp is an open source Lisp dialect. It is based on LLVM and compiles and runs on any 64-bit POSIX system. Its most prominent feature…☆207Updated last week
- A functional, flexible and concise Lisp.☆284Updated 11 months ago
- An ngn/k tutorial.☆200Updated 9 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- A Small Lisp in Forth☆156Updated 3 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆293Updated 2 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated 2 years ago
- The standalone Linux Lisp☆314Updated 2 months ago
- An R7RS Scheme implemented in WebAssembly☆175Updated last year
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆229Updated last week
- GNU Prolog☆117Updated last year
- Maru - a tiny self-hosting lisp dialect☆195Updated 9 months ago
- interpret☆105Updated last week
- Cat - a statically typed functional stack-based programming language☆259Updated 7 years ago
- ☆46Updated 4 months ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Cell compiler☆113Updated last year
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- The NIAL language environment☆112Updated last year
- A self-hosting Scheme to WebAssembly compiler☆209Updated 4 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆166Updated 3 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆618Updated 3 months ago
- A work-in-progress garbage collector for Guile☆167Updated last week
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago