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
  ☆61Updated 4 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated 3 weeks ago
• otherjoel / vim-pollen
  ⌨️🌼 Syntax highlighting for Pollen (a Racket language)
  ☆17Updated 5 years ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago
• domoritz / clingo-wasm
  Clingo on the web
  ☆43Updated 3 weeks ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆58Updated 4 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆322Updated last year
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆28Updated 2 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 2 weeks ago
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years 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
• ncatlab / nlab
  Source code for the nLab
  ☆198Updated 9 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆450Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆387Updated 3 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 7 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆24Updated last week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆192Updated 2 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆339Updated 2 years ago
• leanprover / lean.vim
  ☆19Updated 4 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 5 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated 2 months ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆11Updated 4 years ago
• patoline / patoline
  Patoline typesetting system
  ☆194Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• lojban / ilmentufa
  ☆55Updated 11 months ago