Alternatives and similar repositories for wisq

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

• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆223Updated last week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆164Updated this week
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆85Updated 3 weeks ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆87Updated last month
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆123Updated last month
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆179Updated 2 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated 2 years ago
• microsoft / verus-proof-synthesis
  ☆45Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆88Updated 5 months ago
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆276Updated 3 weeks ago
• quantum-compiler / atlas
  ☆14Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated 3 weeks ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆56Updated last month
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated last month
• hgarrereyn / SBVA
  Structured BVA
  ☆39Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆133Updated 5 months ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆128Updated this week
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆25Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆87Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated this week
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆18Updated last year
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆70Updated this week
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆23Updated last month
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆33Updated 8 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated last week
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆41Updated 2 weeks ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆13Updated last year
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆42Updated 5 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated 3 weeks ago