The Llunatic Mapping and Cleaning Chase Engine
☆38Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Spicy Project☆14May 31, 2016Updated 9 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆24Dec 7, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- ☆10Nov 3, 2016Updated 9 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Various examples to showcase the functionality of PSL.☆68Feb 5, 2024Updated 2 years ago
- ☆20Apr 11, 2022Updated 4 years ago
- // clone this repo with --depth=1 to save disk size // toolchain compatible with Ubuntu 20.04+ //☆15Apr 28, 2022Updated 3 years ago
- The Flix Programming Book☆24Mar 31, 2026Updated 2 weeks ago
- itertree python package - full featured tree data structure☆15Sep 8, 2025Updated 7 months ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Contains the matrix generation software and normed matrices described in "Recreating Raven's: Software for systematically generating larg…☆16Dec 4, 2023Updated 2 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Feb 28, 2017Updated 9 years ago
- Code for paper "Concrete Subspace Learning based Interference Elimination for Multi-task Model Fusion"☆14Mar 28, 2024Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated last year
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- Source code for the paper "Do Deep Neural Network Solutions form a Star Domain?"☆12May 26, 2024Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆71Jul 1, 2024Updated last year
- IJCNN 2021: Inductive Learning on Commonsense Knowledge Graph Completion (Depreciated)☆15Nov 13, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Jan 23, 2015Updated 11 years ago
- A type of light spherical helmet☆18Jun 11, 2024Updated last year
- UI for JedAI Toolkit☆17May 20, 2022Updated 3 years ago
- ☆19Feb 15, 2023Updated 3 years ago
- An Android application that let's you view information on the first 721 Pokémon!☆13Dec 24, 2017Updated 8 years ago
- A lazy-grounding Answer-Set Programming system☆63Nov 22, 2025Updated 4 months ago
- subLSTMs for pytorch from Cortical microcircuits as gated-recurrent neural networks☆16Nov 16, 2017Updated 8 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 5 years ago
- [NeurIPS 2023] Code release for "Going Beyond Linear Mode Connectivity: The Layerwise Linear Feature Connectivity"☆19Oct 19, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- FlowCutter submission to PACE 2016☆12Sep 20, 2016Updated 9 years ago
- WSDM 2021 Tutorial on Advances in Bias-aware Recommendation on the Web☆11Mar 8, 2021Updated 5 years ago
- ☆92Oct 20, 2022Updated 3 years ago
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- The official implementation of ICLR 2025 paper "Polynomial Composition Activations: Unleashing the Dynamics of Large Language Models".☆18Apr 25, 2025Updated 11 months ago
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆89Jul 13, 2023Updated 2 years ago