A tool for explainability and debugging in Answer Set Programming.
☆15Mar 25, 2025Updated 11 months ago
Alternatives and similar repositories for xclingo2
Users that are interested in xclingo2 are comparing it to the libraries listed below
Sorting:
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated last month
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- ☆49Nov 11, 2023Updated 2 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆35Feb 26, 2026Updated last week
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- ☆16Jun 19, 2021Updated 4 years ago
- Differentiable probabilistic answer set programming☆30Jun 23, 2025Updated 8 months ago
- Bayesian Optimization Excutable and Visualizable Application☆10Aug 14, 2023Updated 2 years ago
- This SDK allows web-based apps/pages to interact with dictation devices☆17Feb 12, 2026Updated 3 weeks ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆37Feb 12, 2026Updated 3 weeks ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- ☆10Mar 5, 2024Updated 2 years ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Feb 27, 2026Updated last week
- ☆10Feb 12, 2026Updated 3 weeks ago
- ☆12Feb 27, 2026Updated last week
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- Create persistent virtual notes / comments in neovim☆22Feb 13, 2026Updated 3 weeks ago
- Fast, lightweight and cross-platform code-editor☆13Updated this week
- Intel oneAPI RenderKit CMake superbuild☆12Jan 13, 2026Updated last month
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- The source code of "Empowering Language Understanding with Counterfactual Reasoning" (ACL'21)☆11Sep 3, 2021Updated 4 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Array Based Half-Facet (AHF) Mesh Data Structure (for simplex meshes)☆10Aug 29, 2020Updated 5 years ago
- A hackable library for running and fine-tuning modern transformer models on commodity and alternative GPUs, powered by tinygrad.☆28Feb 10, 2026Updated 3 weeks ago
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 2 months ago
- ☆11Feb 23, 2026Updated last week
- ☆12Oct 4, 2024Updated last year
- Relational Features for Planning☆14Feb 18, 2026Updated 2 weeks ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 2 years ago
- Draw or animate with a mouse in your terminal☆10Feb 25, 2023Updated 3 years ago
- [EMNLP'2023 Findings] MoqaGPT, for zero-shot multimodal question answering with LLMs☆13Dec 28, 2024Updated last year