The Llunatic Mapping and Cleaning Chase Engine
☆37Jan 12, 2024Updated 2 years ago
Alternatives and similar repositories for Llunatic
Users that are interested in Llunatic are comparing it to the libraries listed below
Sorting:
- The Spicy Project☆14May 31, 2016Updated 9 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 weeks ago
- Mattermost - open source, self-hosted Slack-alternative☆21Feb 20, 2025Updated last year
- The Flix Programming Book☆22Mar 2, 2026Updated last week
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- A type of light spherical helmet☆18Jun 11, 2024Updated last year
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Aug 30, 2021Updated 4 years ago
- Simple Hierarchical Ordered Planner - A mirror of☆39Oct 15, 2016Updated 9 years ago
- Excel sheet for computing expected damage and point efficiency in Warhammer 40k 9th edition☆11Sep 23, 2025Updated 5 months ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- A .NET (C#) library for working with Active Directory to retrieve or set a users thumbnailPhoto.☆11Jan 18, 2020Updated 6 years ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- ☆90Oct 20, 2022Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- Project that datamines zillow using Azure Cloud Services. Also demonstrates how to call into Azure Machine Learning. Read my blog: www.…☆10May 12, 2015Updated 10 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- A collection of OCR'd and machine-corrected Greek texts. This base repository contains Git submodules for the different works and an inve…☆11Nov 18, 2014Updated 11 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Data notification service: subscribe to keywords and get notified whenever an open data sources mentions that keyword.☆24Aug 25, 2013Updated 12 years ago
- A grunt.js task to render Handlebars templates against a context & produce HTML☆14Mar 10, 2018Updated 7 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Pathfinding for Unity using A*☆12Jan 14, 2026Updated last month
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Rolling BB8 character controller for Unity☆12Oct 11, 2022Updated 3 years ago