Alternatives and similar repositories for evc

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

• jix / varisat
  SAT solver written in Rust
  ☆264Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆92Updated this week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated last month
• w1nte / vscode-dlv-syntax-highlighting
  DLV syntax highlighter for Visual Studio Code.
  ☆12Updated 4 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated this week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆258Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆639Updated last week
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆337Updated 8 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆141Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated last week
• logsem / iris-tutorial
  ☆51Updated 5 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last month
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated last year
• cryspen / hax
  A Rust verification tool
  ☆255Updated last week
• arminbiere / gimsatul
  ☆34Updated 10 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆131Updated this week
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆152Updated 7 months ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆132Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated last week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆78Updated 5 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆12Updated 8 months ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆114Updated 3 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆55Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆101Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago