π 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