☆31Mar 11, 2023Updated 2 years ago
Alternatives and similar repositories for code
Users that are interested in code are comparing it to the libraries listed below
Sorting:
- Prolog, Datalog, languages, resources, and beyond!☆33Feb 10, 2026Updated 2 weeks ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated last year
- Slog 1.0☆47Jun 11, 2024Updated last year
- Go interface of Tkrzw☆13Jun 3, 2024Updated last year
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Minimalist language created at ZuriHac 2016 in Zurich, CH☆12Oct 16, 2016Updated 9 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆19Feb 5, 2024Updated 2 years ago
- ☆24Nov 5, 2025Updated 3 months ago
- SOM - Simple Object Machine☆24Aug 31, 2025Updated 6 months ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 12 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Alexa Lambda Clojure☆12Apr 14, 2016Updated 9 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- Web interface for searching clojure code on github.☆24Jun 10, 2025Updated 8 months ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- a Lispy Forth in C++☆26Oct 26, 2018Updated 7 years ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆23Jan 20, 2022Updated 4 years ago
- Type Checking in Lean 4☆34Feb 19, 2026Updated last week
- Learning Constraint Programming with Picat☆54Oct 20, 2025Updated 4 months ago
- Nim bare-metal environment☆53Feb 18, 2026Updated last week
- interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)☆137Updated this week
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Sonic language: Heavily inspired by Swift, but compiles to C so you can use it anywhere.☆27Nov 9, 2021Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- The execution environment and command line interface for AliceScript.☆11Sep 15, 2025Updated 5 months ago
- Trealla Prolog embedded in Go using WASM☆81Dec 24, 2025Updated 2 months ago
- The SWI-Prolog RDF store☆33Feb 22, 2026Updated last week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Oct 18, 2017Updated 8 years ago
- A drag and drop data science editor☆41Jun 9, 2023Updated 2 years ago
- Common Lisp web framework☆40Aug 30, 2024Updated last year
- Artistic live-coding in Common Lisp☆30May 23, 2024Updated last year