Alternatives and similar repositories for evc

Users that are interested in evc are comparing it to the libraries listed below

• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 4 years ago
• w1nte / vscode-dlv-syntax-highlighting
  DLV syntax highlighter for Visual Studio Code.
  ☆12Updated 5 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 4 months ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆52Updated 10 months ago
• haskell / winghci
  Simple Windows GUI for GHCi.
  ☆20Updated 10 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆39Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 3 weeks ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated 4 months ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆509Updated this week
• rocq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆16Updated 2 months ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆54Updated 3 months ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆30Updated 3 weeks ago
• ufmg-smite / carcara
  ☆40Updated 3 weeks ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 6 months ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• cryspen / hax
  A Rust verification tool
  ☆356Updated this week
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆32Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆120Updated 5 months ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆50Updated 2 years ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆49Updated this week
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• FStarLang / fstar-vscode-assistant
  An interactive mode for F* in VS Code
  ☆27Updated last month
• wilcoxjay / notes
  ☆14Updated 2 years ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Updated 4 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆52Updated last year
• formosa-crypto / formosa-mlkem
  ☆16Updated 2 weeks ago
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆52Updated last month