Alternatives and similar repositories for vim-loves-dafny

Users that are interested in vim-loves-dafny are comparing it to the libraries listed below

• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated 2 weeks ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆145Updated 5 months ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• ths-rwth / smtrat
  ☆57Updated last month
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆126Updated this week
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆173Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• malyzajko / daisy
  ☆50Updated last month
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated 10 months ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated this week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated 3 weeks ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated last year
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 10 months ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated this week
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 4 months ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated this week
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆25Updated last month
• LLNL / unum
  Universal Number Library
  ☆43Updated 7 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago