crowd-defunding
☆10Feb 3, 2026Updated last month
Alternatives and similar repositories for koordinator2000
Users that are interested in koordinator2000 are comparing it to the libraries listed below
Sorting:
- Logic-based meal optimizer☆16Aug 13, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- General information regarding this group.☆12Feb 19, 2018Updated 8 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆12Dec 19, 2022Updated 3 years ago
- NLP functionality on top of the Sigma system☆18Updated this week
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Life and collaboration assistant.☆40Feb 24, 2026Updated last week
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Feb 25, 2026Updated last week
- Themis is a validation and processing library that helps you always make sure your data is correct.☆14Nov 18, 2022Updated 3 years ago
- The Marpa parsing alrgorithm in Javascript☆22Jan 15, 2017Updated 9 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- Datalog query engine for PouchDB.☆24Jul 6, 2015Updated 10 years ago
- The KISS, write-less do more, elegant, plugin-extensible way to handle state with diverse origins.☆10Mar 3, 2023Updated 3 years ago
- Advanced Scripting IDE for JVM based languages.☆28Sep 28, 2021Updated 4 years ago
- Pipes for MarkLogic DataHub is visual programming tool for MarkLogic Data Hub. It integrates with MarkLogic's Datahub and produces custom…☆14Jan 12, 2021Updated 5 years ago
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated 2 months ago
- Simple RDF Editor with SHACL support☆32May 27, 2025Updated 9 months ago
- A timeline visualisation tool.☆34Feb 9, 2020Updated 6 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Feb 26, 2026Updated last week
- A Chef Cookbook for configuring an Azure Pipelines agent on macOS☆16Jun 13, 2025Updated 8 months ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- A stellar cartography system☆17Feb 4, 2026Updated last month
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- The core library of Tensorics - a Java Library for Manipulating Multi-Dimensional Data with Pleasure☆12Oct 18, 2023Updated 2 years ago
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated 2 weeks ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- Configuration Space Exploration Framework☆17Oct 13, 2020Updated 5 years ago
- Java streams utility methods for memoization☆11Dec 12, 2024Updated last year
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- A Universal Binary JSON (UBJSON) parser, renderer and builder☆10Jul 6, 2013Updated 12 years ago
- Native application for Nekoya ~☆11Nov 18, 2023Updated 2 years ago
- ToneGod's graphical user-interface library for jMonkeyEngine3☆10Feb 9, 2026Updated 3 weeks ago
- MQTTtimer is based mqtt protocol sync timer☆12Feb 6, 2023Updated 3 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Ruby API for Freebase.com☆37Jun 18, 2008Updated 17 years ago
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago