A tool for explainability and debugging in Answer Set Programming.
β15May 15, 2026Updated last month
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:
- Explains the conclusions of a logic program.β10May 25, 2023Updated 3 years ago
- π§ Clingo Interactive UIβ30Jun 5, 2026Updated last week
- β52May 11, 2026Updated last month
- π A system for probabilistic reasoning in clingoβ21Jun 24, 2024Updated last year
- Differentiable probabilistic answer set programmingβ30Jun 23, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- β16Jun 19, 2021Updated 4 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.β37May 18, 2026Updated last month
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMsβ37Updated this week
- Visual Studio Code syntax highlighting for Answer Set Programmingβ13Jan 2, 2025Updated last year
- π¦ A grounder and solver for logic programs.β796May 27, 2026Updated 3 weeks ago
- β10Nov 3, 2016Updated 9 years ago
- todo and unimplemented, robustly implementedβ36Sep 11, 2024Updated last year
- 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 9 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.
- ποΈ Rust bindings to the clingo libraryβ38Jan 27, 2025Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.β16Dec 8, 2023Updated 2 years ago
- my dotfiles managed with stow, for macos, nvim, terminal and moreβ27Updated this week
- A terminal interface for your AI terminal assistant.β19May 30, 2025Updated last year
- 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
- Erlang node discovery and connection/reconnectionβ21Dec 15, 2024Updated last year
- Erlang HTTP client benchmarksβ12Nov 17, 2020Updated 5 years ago
- incremental symbol learning for natural language understandingβ10Jun 12, 2023Updated 3 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.
- toy implementation of Hindley-Milner type system that prints out inference stepsβ17Oct 26, 2025Updated 7 months ago
- Qute: a dependency learning QBF solver.β16Mar 31, 2026Updated 2 months ago
- A blend of the compact and sparse hash table implementations.β15Aug 20, 2021Updated 4 years ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Primeβ17Feb 2, 2020Updated 6 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
- Ranger helps you see the forest among the trees - Ranger is an effect-size meta analysis library creating beautiful forest plots!β12Jun 12, 2023Updated 3 years ago
- A rebar plugin for running custom commandsβ16Jun 14, 2021Updated 5 years ago
- Haskell to D3.js binding by deep EDSL approach.β23Sep 20, 2014Updated 11 years ago
- Edit (code, prose) with things other than codeβ12Aug 27, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- π 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
- UI for JedAI Toolkitβ17May 20, 2022Updated 4 years ago
- Save money by booking split-tickets with Deutsche Bahnβ27Aug 12, 2025Updated 10 months ago
- A minimal example of Abductive Learningβ19Dec 6, 2023Updated 2 years ago
- An Erlang/OTP logger handler for syslogβ24Aug 12, 2024Updated last year
- A JupyterLab extension implementing a Blockly palette with Fable tooling.β12Mar 4, 2023Updated 3 years ago
- A collection of research papers related to Natural Language Reasoningβ10May 27, 2022Updated 4 years ago