rkaminsk / vim-syntax-clingoLinks
๐ Syntax highlighting and auto indentation for clingo/gringo.
โ13Updated 3 years ago
Alternatives and similar repositories for vim-syntax-clingo
Users that are interested in vim-syntax-clingo are comparing it to the libraries listed below
Sorting:
- Interactive Coq Proofs in Vimโ314Updated this week
- โ๏ธ A conflict-driven nogood learning answer set solverโ138Updated this week
- โ19Updated 4 years ago
- Patoline typesetting systemโ195Updated 3 years ago
- โ44Updated 3 weeks ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes eโฆโ43Updated 3 years ago
- Write LaTeX theorems in Pandoc Markdownโ74Updated 2 years ago
- An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPโฆโ22Updated this week
- โ14Updated last year
- Python interface for SWI-Prologโ49Updated 2 weeks ago
- Source code for the nLabโ201Updated 10 months ago
- A program for making zooming slides in figma.โ41Updated 7 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.โ13Updated 2 years ago
- Book about using Lean with How To Prove Itโ25Updated last month
- Grammatical Framework core: compiler, shell & runtimesโ150Updated 2 months ago
- Tree Proof Generatorโ177Updated 3 weeks ago
- LaTeX Styles provided by Dagstuhl Publishingโ40Updated last year
- Qute: a dependency learning QBF solver.โ14Updated last month
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) forโฆโ116Updated 10 months ago
- A Lean file formatterโ71Updated 3 years ago
- A tree-sitter grammar for TLAโบ and PlusCalโ73Updated 2 weeks ago
- This project converts structured Lean code into an interactive browser game.โ78Updated 2 years ago
- A file-based mirror of the nLab wiki (HTML format).โ28Updated this week
- A Pandoc filter for including code from source filesโ147Updated 2 years ago
- Hevea is a fast latex to html translatorโ114Updated this week
- ๐ฆ A grounder and solver for logic programs.โ743Updated last week
- ๐ธ๏ธ A visualizer for graphs defined as logic programs