A modern Prolog implementation written mostly in Rust.
☆12Jan 18, 2026Updated last month
Alternatives and similar repositories for scryer-prolog
Users that are interested in scryer-prolog are comparing it to the libraries listed below
Sorting:
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- The SWI-Prolog HTTP server and client libraries☆27Feb 22, 2026Updated last week
- Material for my React Fundamentals Workshop☆15Dec 27, 2022Updated 3 years ago
- The open-source repo for docs.github.com☆14Aug 5, 2024Updated last year
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- Modern Style, a framework for optimizing SASS on web applications and sites.☆11Jan 14, 2015Updated 11 years ago
- A template repository for enterprise and organization-level Copilot custom agents.☆22Oct 31, 2025Updated 4 months ago
- Skins for jPlayer 2.0.0. DEPRECATED see README.☆16May 15, 2012Updated 13 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 5 months ago
- Shareaholic Public API & SDK documentation☆11Dec 17, 2022Updated 3 years ago
- Post4 is an indirect threaded Forth interpreter written in C.☆13Sep 6, 2025Updated 5 months ago
- Built-in NLP for Stealth bots via AWS Comprehend☆14May 8, 2020Updated 5 years ago
- Event data in a box, basically.☆15Nov 4, 2014Updated 11 years ago
- An implementation of Etcetera Abduction in Python☆11Nov 12, 2025Updated 3 months ago
- Cats!☆13Jul 29, 2020Updated 5 years ago
- Orderbook Event Storage Using TectonicDB☆13Sep 6, 2018Updated 7 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Chapel Data Object☆10Jun 9, 2021Updated 4 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 14 years ago
- The best poem about Cats☆17Feb 10, 2026Updated 3 weeks ago
- A visualization tool for Systems-Level Interactive Data Exploration☆12Jan 12, 2022Updated 4 years ago
- Scheme in Go☆16Nov 26, 2025Updated 3 months ago
- Emacs Does Interactive Prolog☆45Oct 5, 2024Updated last year
- Simple read and write messages to bitcoin blockchain in any language☆10Jan 9, 2019Updated 7 years ago
- Home of experimental plugins for GAMA☆15Feb 5, 2026Updated 3 weeks ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Repository containing the presentation material of all ABAPConf events☆16Sep 3, 2025Updated 6 months ago
- An implementation of Forth using minimal thread code, with a dictionary made up of machine-independent vocabularies. Only those relating …☆11Mar 30, 2025Updated 11 months ago
- A web app that creates GitHub-themed collectibles from GitHub profiles☆27Feb 23, 2026Updated last week
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- ☆13Jun 25, 2015Updated 10 years ago
- Nim and awk based bot for Wikipedia☆12Feb 28, 2020Updated 6 years ago
- Rule-based Intelligent Tutoring System☆11Mar 28, 2015Updated 10 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- This Flutter App is an example app that show how is simple implement an App connected with Youtube Channel API☆11Oct 19, 2019Updated 6 years ago
- ☆15Mar 18, 2012Updated 13 years ago