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