trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
☆285Updated this week
Alternatives and similar repositories for trealla:
Users that are interested in trealla are comparing it to the libraries listed below
- A functional, flexible and concise Lisp.☆281Updated 9 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆294Updated 3 months ago
- A tiny Racket for scripting☆283Updated this 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…☆198Updated this week
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- A Lisp interpreter written in untyped lambda calculus☆238Updated last year
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆133Updated this week
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆228Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆507Updated this week
- interpret☆106Updated this week
- A human readable quasi-concatenative programming language☆249Updated 2 weeks ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆287Updated 2 years ago
- GNU Prolog☆112Updated last year
- A Prolog library to connect to PostgreSQL databases☆96Updated 9 months ago
- The NIAL language environment☆111Updated last year
- the origins of J☆62Updated last year
- ☆45Updated 3 months ago
- The standalone Linux Lisp☆311Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆104Updated last week
- An ngn/k tutorial.☆200Updated 8 months ago
- An R7RS Scheme implemented in WebAssembly☆174Updated last year
- The Om programming language.☆172Updated 4 months ago
- Lisp in WebAssembly☆256Updated this week
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆108Updated 2 years ago
- a BQN implementation in C☆340Updated last week
- Manfred von Thun's Programming Language Joy☆88Updated last month
- A novel approach to finding your way in APL☆136Updated this week
- A fast functional language based on two level type theory☆388Updated 2 years ago