A safety-certified formatter for Answer Set Programming (clingo/clingcon + ASP-Core-2), built on themelios-syntax.
-
Updated
Sep 24, 2026 - Rust
#
asp-core-2
Here are 3 public repositories matching this topic...
VS Code / Cursor extension for Answer Set Programming (ASP-Core-2 / Clingo): LSP diagnostics, completion, navigation, semantic highlighting, and Clingo runner (WASM or PATH).
python typescript language-server vscode wasm asp intellisense vscode-extension cursor logic-programming clingo answer-set-programming lsp semantic-highlighting potassco vscodium asp-core-2
-
Updated
Oct 6, 2026 - HTML
A solver-agnostic, library-first foundation for Answer Set Programming in Rust: lossless syntax, program representation, analysis, and an engine-agnostic solving API.
rust parser static-analysis asp logic-programming clingo knowledge-representation answer-set-programming clingcon asp-core-2
-
Updated
Oct 7, 2026 - Rust
Add this topic to your repo
To associate your repository with the asp-core-2 topic, visit your repo's landing page and select "manage topics."