Alternatives and similar repositories for vdm-vscode

Users that are interested in vdm-vscode are comparing it to the libraries listed below

• nickbattle / vdmj
  Formal Modelling in VDM
  ☆28Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• verifast / verifast
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆440Updated this week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆65Updated 6 months ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆575Updated 8 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆302Updated 2 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆216Updated last month
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆30Updated 4 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆174Updated 4 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆390Updated 9 months ago
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆768Updated last month
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆272Updated last month
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆267Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 4 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆115Updated 4 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆472Updated last week
• overturetool / overture
  The Overture Tool
  ☆50Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆329Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆411Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 3 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆138Updated last week
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆61Updated 2 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆353Updated 2 weeks ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆360Updated last month
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆384Updated last month
• johnyf / tool_lists
  Links to tools by subject
  ☆377Updated last year