Alternatives and similar repositories for vim-syntax-clingo

Users that are interested in vim-syntax-clingo are comparing it to the libraries listed below

• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆314Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆138Updated this week
• leanprover / lean.vim
  ☆19Updated 4 years ago
• patoline / patoline
  Patoline typesetting system
  ☆195Updated 3 years ago
• UCSD-PL / proverbot9001
  ☆44Updated 3 weeks ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• usethesource / rascal-language-servers
  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
• ericastor / rmzoo
  ☆14Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• ncatlab / nlab
  Source code for the nLab
  ☆201Updated 10 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• m4lvin / tablean
  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
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 3 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated last month
• leanprover / vscode-lean
  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
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Updated 2 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆78Updated 2 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆28Updated this week
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated this week
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆743Updated last week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 3 months ago