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 system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- This SDK allows web-based apps/pages to interact with dictation devices☆16Feb 6, 2026Updated last week
- 🗝️ 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
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 4 months ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- ☆10Mar 5, 2024Updated last year
- 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
- ☆10Dec 8, 2025Updated 2 months ago
- Federated Learning framework extending the nnUNet☆15Nov 6, 2025Updated 3 months ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Feb 2, 2026Updated last week
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- ☆12Updated this week
- Ranger helps you see the forest among the trees - Ranger is an effect-size meta analysis library creating beautiful forest plots!☆11Jun 12, 2023Updated 2 years ago
- Create persistent virtual notes / comments in neovim☆21Dec 28, 2025Updated last month
- Mobile Ad Hoc (MANET) simulation and analysis using OMNET++.☆11Mar 3, 2020Updated 5 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated this week
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Feb 2, 2026Updated last week
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 2 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- ☆10Nov 3, 2016Updated 9 years ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 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.☆27Nov 27, 2025Updated 2 months ago
- The source code of "Empowering Language Understanding with Counterfactual Reasoning" (ACL'21)☆11Sep 3, 2021Updated 4 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- ☆24Jan 11, 2026Updated last month
- Implementation and results for ICTIR2021 paper: Effective and Privacy-preserving Federated Online Learning to Rank☆10Jul 24, 2021Updated 4 years ago
- ☆11Oct 4, 2024Updated last year