CaptainUnbrauchbar / asp-language-supportView external linksLinks
A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).
☆10Dec 1, 2025Updated 2 months ago
Alternatives and similar repositories for asp-language-support
Users that are interested in asp-language-support are comparing it to the libraries listed below
Sorting:
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/…☆13Aug 1, 2021Updated 4 years ago
- SPARQL query builder and DSL☆10Mar 6, 2018Updated 7 years ago
- [Deprecated] eXo Platform in a Docker container☆10Dec 9, 2025Updated 2 months ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Integration for Renogy cloud API☆16Feb 4, 2026Updated last week
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- ☆11Aug 4, 2025Updated 6 months ago
- Android GameFAQs Reader☆12May 3, 2020Updated 5 years ago
- Command line tool for navigating git repositories.☆10May 5, 2023Updated 2 years ago
- SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…☆14Jun 18, 2024Updated last year
- A script to remove the word "simply" from any GitHub repository☆13Jan 26, 2018Updated 8 years ago
- HTML Slide Theme package for Sphinx documentation tool.☆20Jan 14, 2026Updated last month
- Assortment of half-baked applications for the reMarkable tablet. Take a look at https://github.com/Eeems-Org/oxide for real things.☆13Aug 30, 2020Updated 5 years ago
- Typing animation☆13Aug 9, 2014Updated 11 years ago
- Provides analyzers that are based on the .NET Compiler Platform.☆16Updated this week
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Updated this week
- The famous merge strategy☆13Feb 15, 2017Updated 8 years ago
- Everblush theme for Obsidian Markdown Editor☆11Nov 21, 2022Updated 3 years ago
- Choco-solver in practice☆11Jul 18, 2019Updated 6 years ago
- A tool that allows you to difference powerbi files (pbix) and find changes in its mashup code☆12Dec 8, 2022Updated 3 years ago
- The fast DI-container that you can understand.☆12Dec 20, 2017Updated 8 years ago
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 3 years ago
- Unofficial build of Adobe Acrobat 9.5.5 running within a docker container forwarded to local X session, based on chrisdaish/acroread☆11Dec 13, 2018Updated 7 years ago
- PHP library to dynamically generate configuration profiles for Apple devices☆13Nov 16, 2021Updated 4 years ago
- An opinionated SvelteKit starter☆14Apr 6, 2025Updated 10 months ago
- DiceKeys for Android☆15Sep 25, 2025Updated 4 months ago
- Web application designed to help students find the perfect schedule at Miami University - Oxford.☆16Feb 27, 2023Updated 2 years ago
- A FUSE proxy file system☆16Mar 21, 2018Updated 7 years ago
- Web application for taking care of street cats 🐱❤️☆15Aug 2, 2021Updated 4 years ago
- ☆16Nov 25, 2025Updated 2 months ago
- The Oro Operating System official repository☆23Mar 14, 2025Updated 11 months ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆65Jul 30, 2025Updated 6 months ago
- https://opensourcemaintenancefee.org☆23Feb 4, 2026Updated last week
- A light weight scratch pad inspired and derived from https://github.com/IvanMathy/Boop.☆57Jan 20, 2023Updated 3 years ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- Better documentation for Scoop.sh☆14Oct 15, 2021Updated 4 years ago
- The DiceKeys App for Electron and Web☆16Sep 7, 2024Updated last year