bramucas / xclingo2View external linksLinks
A tool for explainability and debugging in Answer Set Programming.
☆15Mar 25, 2025Updated 10 months ago
Alternatives and similar repositories for xclingo2
Users that are interested in xclingo2 are comparing it to the libraries listed below
Sorting:
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated 3 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆65Jul 30, 2025Updated 6 months ago
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- ☆16Jun 19, 2021Updated 4 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆36Dec 11, 2025Updated 2 months ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- ☆12Jan 28, 2026Updated 2 weeks ago
- Federated Learning framework extending the nnUNet☆15Nov 6, 2025Updated 3 months ago
- ☆10Mar 5, 2024Updated last year
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 2 years ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 years ago
- A hackable library for running and fine-tuning modern transformer models on commodity and alternative GPUs, powered by tinygrad.☆27Nov 27, 2025Updated 2 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Feb 6, 2026Updated last week
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- Intel oneAPI RenderKit CMake superbuild☆12Jan 13, 2026Updated last month
- 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
- The source code of "Empowering Language Understanding with Counterfactual Reasoning" (ACL'21)☆11Sep 3, 2021Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- ☆10Nov 3, 2016Updated 9 years ago
- 🦉 A grounder and solver for logic programs.☆746Updated this week
- Lazy sequences for Erlang☆18Sep 1, 2011Updated 14 years ago
- A research-purpose software for 3D morphing between two meshes with arbitrary connectivity.☆11Sep 2, 2025Updated 5 months ago
- [NAACL 2021] Reading and Acting while Blindfolded: The Need for Semantics in Text Game Agents☆11May 31, 2021Updated 4 years ago
- [DASFAA22] Official PyTorch implementation for "Leveraging Search History for Improving Person-Job Fit".☆11Mar 27, 2022Updated 3 years ago
- Official repository for the ICLR 2023 paper "A Learning Based Hypothesis Test for Harmful Covariate Shift"☆11Jan 22, 2024Updated 2 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 6, 2026Updated last week
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- [EMNLP'2023 Findings] MoqaGPT, for zero-shot multimodal question answering with LLMs☆13Dec 28, 2024Updated last year
- Basic starter pack of voice commands for use with Talon Voice☆11Mar 7, 2020Updated 5 years ago
- Erlang HTTP client benchmarks☆12Nov 17, 2020Updated 5 years ago
- A simple, well-documented, pedagogical deep learning framework implemented entirely in Python☆12Sep 27, 2020Updated 5 years ago