Alternatives and similar repositories for vim-syntax-clingo

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

• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆138Updated this week
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 9 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆314Updated this week
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆746Updated this week
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆65Updated 6 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Updated last year
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 3 months ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Updated 2 weeks ago
• PontusHanssen / pddl.vim
  Planning and Domain Definition Language (PDDL) syntax highlighting for vim
  ☆10Updated 2 years ago
• leanprover / lean.vim
  ☆19Updated 4 years ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆29Updated 3 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• otherjoel / vim-pollen
  ⌨️🌼 Syntax highlighting for Pollen (a Racket language)
  ☆17Updated 6 years ago
• adimit / prolog.vim
  Prolog Integration for Vim
  ☆94Updated 3 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• vprover / vampire
  The Vampire Theorem Prover
  ☆392Updated this week
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated last week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated last month
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆474Updated this week
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated this week
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆118Updated last year
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆82Updated 3 weeks ago