🍀 A system for probabilistic reasoning in clingo
☆21Jun 24, 2024Updated 2 years ago
Alternatives and similar repositories for plingo
Users that are interested in plingo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆69Apr 1, 2026Updated 3 months ago
- A lazy-grounding Answer-Set Programming system☆65May 15, 2026Updated last month
- ☆16Jun 19, 2021Updated 5 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15May 15, 2026Updated last month
- 🕸️ A visualizer for graphs defined as logic programs☆33Apr 29, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Pimba is a minimalist command-line tool written in Go to publish and serve static files.☆11Dec 15, 2023Updated 2 years 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
- 🗝️ Rust bindings to the clingo library☆38Jan 27, 2025Updated last year
- GUI applikation for the Klatt formant synthesizer package☆13Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 3 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆36May 18, 2026Updated last month
- Code repo for "Collapsing Bandits and Their Applications to Public Health Interventions", (NeurIPS'20)☆11Dec 3, 2025Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- ☆13Aug 5, 2025Updated 10 months ago
- ☆15Aug 24, 2023Updated 2 years ago
- Prosimos Simulation Engine (CLI)☆12Jun 16, 2026Updated 2 weeks ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 9 years ago
- programs written in Picat☆13Jun 18, 2026Updated last week
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 7 months ago
- Python interface for SWI-Prolog☆51Jun 25, 2026Updated last week
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- my dotfiles managed with stow, for macos, nvim, terminal and more☆27Updated this week
- Poplog☆21Nov 18, 2010Updated 15 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Web IDE for the Picat language based on Blazor and Monaco☆12Mar 17, 2026Updated 3 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆16Mar 5, 2026Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated last year
- ☆16Jun 18, 2024Updated 2 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆14Mar 21, 2023Updated 3 years ago
- Rust library for stochastic process mining techniques☆16Updated this week
- SNOBOL/SPITBOL pattern matching in JavaScript☆11Apr 2, 2021Updated 5 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Create persistent virtual notes / comments in neovim☆23Feb 13, 2026Updated 4 months ago
- reStructuredText preview in Atom using Pandoc☆10Nov 24, 2015Updated 10 years ago
- Framework for integrate BDI agents and Reinforcement Learning.☆16Aug 3, 2024Updated last year