Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
☆15Dec 4, 2023Updated 2 years ago
Alternatives and similar repositories for InductorProlog
Users that are interested in InductorProlog are comparing it to the libraries listed below
Sorting:
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- NTFS MFT (master file table) raw reader and parser☆27May 13, 2024Updated last year
- A pure C# implementation of sparse bitsets☆25Nov 24, 2023Updated 2 years ago
- C++ compile-time Prolog interpreter☆65Feb 26, 2014Updated 12 years ago
- Prolog versions of the WordNet databases☆30Jan 28, 2026Updated last month
- Prolog, Datalog, languages, resources, and beyond!☆33Feb 10, 2026Updated 2 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Total Commander plugin for Azure Blob service☆17May 9, 2015Updated 10 years ago
- A Gstreamer decryptor, with an implementation for OCDM.☆12Jun 7, 2022Updated 3 years ago
- Template project for Bow and Arrow series.☆11Jun 12, 2019Updated 6 years ago
- Graph.dll deobfuscated☆16May 15, 2021Updated 4 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Repository for the EvoBot Metamod plugin, providing AI players for the HL1 mod Natural Selection☆14Jan 29, 2025Updated last year
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- Partial source code for celestia.mobi☆12Feb 13, 2026Updated 2 weeks ago
- ☆12Mar 10, 2024Updated last year
- ☆15Nov 8, 2024Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ☆11Updated this week
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- Mirror of CEF3☆12Oct 25, 2012Updated 13 years ago
- this repo consists of the efficient AI overhault for the game Stronghold Crusader☆13Oct 28, 2022Updated 3 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- A virtual musical instrument built using Google MediaPipe.☆12Oct 10, 2022Updated 3 years ago
- It's a DLL for Robot software. Not only Robot but also Jig.☆10Jun 28, 2025Updated 8 months ago
- ☆10Feb 24, 2026Updated last week
- Autonomous Rescue Robot☆17Nov 16, 2022Updated 3 years ago
- Stack: .NET 6, WPF (MVVM), Entity Framework Core, SQLite. ᅠ ᅠᅠ ᅠ ᅠ Three Layer Architecture, Dependency Injection.☆11Jan 28, 2022Updated 4 years ago
- window switcher for Microsoft Windows☆13May 16, 2018Updated 7 years ago
- Official mirror of OpenVolumeMesh☆10Updated this week
- Type definitions for the SWF file format (Rust and Typescript)☆12May 10, 2022Updated 3 years ago
- ☆13Dec 25, 2021Updated 4 years ago
- Botao Wu, Zhendong Wang and Huamin Wang. 2022. A GPU-Based Multilevel Additive Schwarz Preconditioner for Cloth and Deformable Body Simul…☆14Sep 6, 2022Updated 3 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago