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
  ☆236Updated 2 weeks ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆181Updated this week
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated last month
• microsoft / verus-proof-synthesis
  ☆46Updated this week
• quantum-compiler / atlas
  ☆13Updated last year
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆86Updated this week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆181Updated 2 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆80Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆137Updated 3 months ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆70Updated this week
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆77Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated this week
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆129Updated last week
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last month
• meelgroup / ganak
  High-performance exact counter
  ☆46Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆87Updated 6 months ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆59Updated this week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆64Updated this week
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆280Updated last week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆42Updated this week
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆129Updated this week
• logsem / iris-tutorial
  ☆56Updated 3 weeks ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆441Updated last week
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆115Updated this week
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆20Updated last month
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated last year