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 / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆59Updated 4 months ago
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆709Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆307Updated 3 weeks ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated this week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆380Updated 2 months ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆28Updated last month
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆130Updated this week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆439Updated 3 weeks ago
• otherjoel / vim-pollen
  ⌨️🌼 Syntax highlighting for Pollen (a Racket language)
  ☆17Updated 5 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆440Updated this week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• LaurentRDC / pandoc-plot
  Render and include figures in Pandoc documents using your plotting toolkit of choice
  ☆256Updated 4 months ago
• pubs / pubs
  Your bibliography on the command line
  ☆285Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• GothenburgBitFactory / tasklib
  A Python library for interacting with taskwarrior databases.
  ☆155Updated last year
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆20Updated last year
• anufrievroman / vim-angry-reviewer
  Vim plugin for style correction for academic writing and scientific papers
  ☆90Updated 10 months ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆85Updated 2 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆633Updated last year
• arminbiere / kissat
  ☆591Updated last month
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 6 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• msprev / fzf-bibtex
  a BibTeX source for fzf
  ☆134Updated last year
• Zheoni / cooklang-chef
  A CLI to manage cooklang recipes
  ☆120Updated last week
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆15Updated 8 months ago
• entangled / entangled.py
  Python port of Entangled
  ☆74Updated last week
• meelgroup / approxmc
  Approximate Model Counter
  ☆79Updated last month
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆71Updated 6 months ago