🍀 A system for probabilistic reasoning in clingo
☆20Jun 24, 2024Updated last year
Alternatives and similar repositories for plingo
Users that are interested in plingo are comparing it to the libraries listed below
Sorting:
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆66Jul 30, 2025Updated 7 months ago
- Differentiable probabilistic answer set programming☆30Jun 23, 2025Updated 8 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- ☆16Jun 19, 2021Updated 4 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated last month
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- ☆12Aug 5, 2025Updated 6 months ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Updated this week
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- BioVoice: a multipurpose tool for voice analysis☆11Nov 13, 2020Updated 5 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- A simple memory game for Android based on libGDX☆11Dec 8, 2016Updated 9 years ago
- ☆11Sep 30, 2017Updated 8 years ago
- 📦 Flatpak package of Spek, an acoustic spectrum analyser☆11Jan 24, 2025Updated last year
- GUI applikation for the Klatt formant synthesizer package☆11Feb 16, 2026Updated 2 weeks ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- LibML is a library for loading, configuring, and running machine learning models in production. It provides a simple high-level API for C…☆13Mar 14, 2025Updated 11 months ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 years ago
- Solidity contracts for Endaoment's on-chain Donor-Advised Fund☆14Feb 18, 2024Updated 2 years ago
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 4 years ago
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- Pimba is a minimalist command-line tool written in Go to publish and serve static files.☆11Dec 15, 2023Updated 2 years ago
- ☆11Feb 8, 2023Updated 3 years ago
- Repository for the implementation of our work on hypergraph generation as part of the ANR project "SODA".☆13Oct 27, 2025Updated 4 months ago
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆15Feb 15, 2026Updated 2 weeks ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Our Core framework based on Spring, Hibernate and Wicket☆10Oct 17, 2018Updated 7 years ago
- ☆24Jan 11, 2026Updated last month
- This project contains the source code for a State Monad lesson in my book☆10Jan 24, 2018Updated 8 years ago
- ☆11Jul 17, 2023Updated 2 years ago
- programs written in Picat☆11Feb 10, 2026Updated 2 weeks ago
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago
- ☆11Sep 21, 2025Updated 5 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 2 months ago