A tool for explainability and debugging in Answer Set Programming.
β15Mar 25, 2025Updated last year
Alternatives and similar repositories for xclingo2
Users that are interested in xclingo2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- πΈοΈ A visualizer for graphs defined as logic programsβ32Oct 12, 2024Updated last year
- π§ Clingo Interactive UIβ29Apr 9, 2026Updated last week
- β51Nov 11, 2023Updated 2 years ago
- ποΈ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerβ68Apr 1, 2026Updated 2 weeks ago
- π A system for probabilistic reasoning in clingoβ20Jun 24, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Differentiable probabilistic answer set programmingβ30Jun 23, 2025Updated 9 months ago
- β16Jun 19, 2021Updated 4 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMsβ36Mar 23, 2026Updated 3 weeks ago
- From LTLf/LDLf To Automataβ22Aug 17, 2020Updated 5 years ago
- π¦ A grounder and solver for logic programs.β775Mar 31, 2026Updated 2 weeks ago
- Draw or animate with a mouse in your terminalβ11Feb 25, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/β11May 29, 2017Updated 8 years ago
- ποΈ Rust bindings to the clingo libraryβ34Jan 27, 2025Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.β17Dec 8, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- my dotfiles managed with stow, for macos, nvim, terminal and moreβ25Updated this week
- From pixels to symbolic rule learningβ12Nov 12, 2021Updated 4 years ago
- π A music player app in the style of old iOS (mostly versions 4, 5 & 6).β14Mar 21, 2023Updated 3 years ago
- Contains the matrix generation software and normed matrices described in "Recreating Raven's: Software for systematically generating largβ¦β16Dec 4, 2023Updated 2 years ago
- Lazy sequences for Erlangβ18Sep 1, 2011Updated 14 years ago
- Create persistent virtual notes / comments in neovimβ22Feb 13, 2026Updated 2 months ago
- incremental symbol learning for natural language understandingβ10Jun 12, 2023Updated 2 years ago
- toy implementation of Hindley-Milner type system that prints out inference stepsβ17Oct 26, 2025Updated 5 months ago
- This is code for the EMNLP 2022 Paper "UniRPG: Unified Discrete Reasoning over Table and Text as Program Generation".β10Apr 30, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A blend of the compact and sparse hash table implementations.β15Aug 20, 2021Updated 4 years ago
- [KDD24-ADS] R-Eval: A Unified Toolkit for Evaluating Domain Knowledge of Retrieval Augmented Large Language Modelsβ11Apr 9, 2024Updated 2 years ago
- A regex crate using Brzozowski derivatives.β28Apr 24, 2025Updated 11 months ago
- Single assignment and lazy mapsβ21Updated this week
- A rebar plugin for running custom commandsβ16Jun 14, 2021Updated 4 years ago
- Mobile Ad Hoc (MANET) simulation and analysis using OMNET++.β11Mar 3, 2020Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.β23Sep 20, 2014Updated 11 years ago
- Experimental Elixir interface to Google's OR Toolsβ12Jun 5, 2022Updated 3 years ago
- π Ambassador Paper for Innovative Use of NLP for Building Educational Applications 2023: Is ChatGPT a Good Teacher Coach? Measuring Zeroβ¦β14Jul 21, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UI for JedAI Toolkitβ17May 20, 2022Updated 3 years ago
- A minimal example of Abductive Learningβ19Dec 6, 2023Updated 2 years ago
- An Erlang/OTP logger handler for syslogβ23Aug 12, 2024Updated last year
- A collection of research papers related to Natural Language Reasoningβ11May 27, 2022Updated 3 years ago
- Byte-level byte pair encoding (BPE) in Haskellβ17May 27, 2024Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityβ71Jul 1, 2024Updated last year
- A package for building customizable decision trees and random forests.β10Oct 6, 2025Updated 6 months ago