donatellosantoro / LlunaticView external linksLinks
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
- ☆24Jan 8, 2026Updated last month
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- Mattermost - open source, self-hosted Slack-alternative☆19Feb 20, 2025Updated 11 months ago
- A type of light spherical helmet☆18Jun 11, 2024Updated last year
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 2 months ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- Implementing Halide's TRS inside of EGG☆34Jan 20, 2023Updated 3 years ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Aug 30, 2021Updated 4 years ago
- Bash script to automatically download a notion workspace☆30Apr 20, 2021Updated 4 years ago
- Excel sheet for computing expected damage and point efficiency in Warhammer 40k 9th edition☆11Sep 23, 2025Updated 4 months ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- 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
- ☆11Jul 7, 2020Updated 5 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated last year
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- 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
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- MS Marco Entity Annotations Disambiguation☆13May 19, 2023Updated 2 years ago
- read / write ini files - iniStorage for Unity☆12Apr 17, 2022Updated 3 years ago
- StatsD backend for Application Insights Node.js☆16Jul 22, 2020Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆36Apr 30, 2017Updated 8 years ago
- Grav Multiple Condition Filters Plugin https://getgrav.org☆11Jul 29, 2017Updated 8 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated 2 weeks ago
- Pathfinding for Unity using A*☆12Jan 14, 2026Updated last month
- 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
- SkillTree is a simple React application allowing the user to manage an RPG skill tree. Current version is an alpha, which means the full …☆10Jan 3, 2023Updated 3 years ago
- ☆10Mar 3, 2019Updated 6 years ago
- Editor tools to help user get the resources depend on and be depended on of the user's selection.☆10Dec 27, 2016Updated 9 years ago
- A Fiddler extension that allows you to view Power BI tile data in plain text.☆10Jul 27, 2016Updated 9 years ago