Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
☆30Jun 17, 2026Updated 4 months ago
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:
- A DND card generator for all your adventures. Demo at https://dndfetch.netlify.com and powered by https://www.dnd5eapi.co/☆14Dec 3, 2022Updated 3 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 8 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 3 years ago
- Trial Reasoner for AI that Learns☆18Sep 17, 2025Updated last year
- 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.
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 3 years ago
- Design skill for coding agents. It translates between design languages, expresses them in a multitude of mediums, juries its own work, an…☆19Oct 2, 2026Updated 2 weeks ago
- ⛓️ Extension of clingo to handle constraints over integers☆37Oct 7, 2026Updated last week
- Easy bindings between Lean and Python.☆36Sep 30, 2026Updated 2 weeks ago
- A functional language for machine learning. Inspired by Clojure, compiled to GPUs.☆55Updated this week
- Bash script to retrieve modules from modarchive.org☆11Jan 24, 2021Updated 5 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- OpenCL version of Kaktwoos; Mine cacti with 0xA presses☆10Jun 16, 2022Updated 4 years ago
- tools for digitizing scientific plots☆38May 21, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Program chat completions from a POSIX shell☆10Feb 12, 2025Updated last year
- Compile simple Shadertoys into small .COM MS-DOS executables☆10May 13, 2024Updated 2 years ago
- Conway's Game of Life written in Fortran 77 for FreeDOS☆12Oct 8, 2021Updated 5 years ago
- An implementation of the Into The Odd system by Chris McDowall for Foundry VTT☆12Sep 13, 2026Updated last month
- Vim environment for authoring, compiling, and debugging Inform7 based interactive fiction works.☆11Aug 22, 2020Updated 6 years ago
- program synthesis is possible☆40Sep 28, 2019Updated 7 years ago
- An util function library for rust.☆15May 15, 2024Updated 2 years ago
- ☆12Oct 31, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆40May 13, 2026Updated 5 months ago
- Chinese Lunar Calendar Toolkit Script☆14Oct 6, 2015Updated 11 years ago
- A SCSI to ethernet board☆13Nov 19, 2020Updated 5 years ago
- Multiplayer interactive fiction system based on Inform 7☆13Jun 24, 2026Updated 3 months ago
- Lobsters IRC bot☆17Jul 13, 2026Updated 3 months ago
- Arduino Leonardo sketch for SOUND VOLTEX, DanceDanceRevolution, and pop'n music controllers (or any device with up to 9 buttons or 7 butt…☆10Jul 20, 2022Updated 4 years ago
- Convert any rational number, from any (positive integer) base, to any (positive integer) base.☆18Aug 26, 2024Updated 2 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- Fun with email!☆11Oct 18, 2023Updated 2 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.
- Fetch written in Nu🐘☆17Jul 12, 2024Updated 2 years ago
- Spreadsheet application with a bizarre twist.☆16Sep 16, 2026Updated last month
- python package for calculating famous measures in computational linguistics☆15Jun 29, 2026Updated 3 months ago
- The Kodi remote app for KaiOS.☆15Aug 21, 2023Updated 3 years ago
- perl module encapsulating the Swiss Ephemeris library☆11Apr 23, 2024Updated 2 years ago
- New Stickney Japanese Kana Keyboard Layout☆16May 10, 2021Updated 5 years ago
- Repo for including Victor Mono in Google Fonts. Slight differences and adjustments to pass GF tests.☆17Jan 26, 2024Updated 2 years ago