Alternatives and similar repositories for evc

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

• w1nte / vscode-dlv-syntax-highlighting
  DLV syntax highlighter for Visual Studio Code.
  ☆12Updated 4 years ago
• jix / varisat
  SAT solver written in Rust
  ☆267Updated 2 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated this week
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆16Updated last year
• korridor / laravel-computed-attributes
  Laravel package that adds computed attributes to eloquent models. A computed attribute is an accessor were the computed value is saved in…
  ☆10Updated 3 months ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆132Updated last year
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆67Updated last year
• nikomatsakis / plmw-2022
  Talk to be given at PLMW 2022
  ☆19Updated 3 years ago
• osue-tuwien / exercises
  OSUE exercises
  ☆26Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆45Updated this week
• codex-semantics-library / codex
  The main codex repository
  ☆19Updated 8 months ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated last year
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆336Updated 8 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆54Updated last week
• ufmg-smite / carcara
  ☆38Updated this week
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated this week
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• uwplse / oeuf
  gallina frontend for CompCert
  ☆18Updated 5 years ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆16Updated 7 months ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆33Updated 2 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year