Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
☆30Jun 17, 2026Updated last month
Alternatives and similar repositories for Answer-Set-Programming-Algorithms
Users that are interested in Answer-Set-Programming-Algorithms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Category Theory in Programming☆14Jan 22, 2026Updated 6 months ago
- Structured decompositions!☆15Mar 26, 2025Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆36Jul 31, 2026Updated 2 weeks ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 3 years ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆41Jun 13, 2026Updated 2 months ago
- ☆16Oct 3, 2021Updated 4 years ago
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 3 years ago
- A Julia testbed for solid mechanics, coupling and multiphysics☆24Updated this week
- Bash script to retrieve modules from modarchive.org☆11Jan 24, 2021Updated 5 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- A framework for building next-generation differentiable and GPU-accelerated land and ecosystem models in Julia.☆39Updated this week
- Request For Comment (RFC) repo for Nu☆13Sep 29, 2023Updated 2 years ago
- OpenCL version of Kaktwoos; Mine cacti with 0xA presses☆10Jun 16, 2022Updated 4 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.
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 4 years ago
- ☆17Jul 2, 2024Updated 2 years ago
- "Science is what we understand well enough to explain to a computer; art is everything else." ― Donald E. Knuth☆40Jun 9, 2020Updated 6 years ago
- A a highly performant utility and wrapper functions library for Rust that has been carefully designed with optimization and efficiency in…☆14Updated this week
- A periodic table plugin for Nushell.☆16Aug 25, 2025Updated 11 months ago
- Smith Normal Form calculator for integers and gaussian integers☆15Feb 25, 2023Updated 3 years ago
- Compile simple Shadertoys into small .COM MS-DOS executables☆10May 13, 2024Updated 2 years ago
- Srcery color scheme for the Zed code editor☆13Jun 13, 2026Updated 2 months ago
- Minecraft VillagerShops on SpongePowered☆10May 9, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Conway's Game of Life written in Fortran 77 for FreeDOS☆11Oct 8, 2021Updated 4 years ago
- Vim environment for authoring, compiling, and debugging Inform7 based interactive fiction works.☆11Aug 22, 2020Updated 5 years ago
- program synthesis is possible☆40Sep 28, 2019Updated 6 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆11May 25, 2017Updated 9 years ago
- Signal compression and reconstruction on complexes preserving topological features via Discrete Morse Theory☆13May 31, 2022Updated 4 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Updated this week
- Multilingual dictionary for constructed languages☆14Apr 1, 2026Updated 4 months ago
- Chinese Lunar Calendar Toolkit Script☆14Oct 6, 2015Updated 10 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 digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Dec 18, 2023Updated 2 years ago
- A SCSI to ethernet board☆13Nov 19, 2020Updated 5 years ago
- Convert any rational number, from any (positive integer) base, to any (positive integer) base.☆18Aug 26, 2024Updated last year
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- Fun with email!☆11Oct 18, 2023Updated 2 years ago
- Fetch written in Nu🐘☆17Jul 12, 2024Updated 2 years ago
- Spreadsheet application with a bizarre twist.☆15May 9, 2026Updated 3 months ago