Alternatives and similar repositories for wisq:

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

• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆142Updated last month
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆112Updated this week
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated last week
• tchajed / coq-tla
  ☆26Updated last year
• microsoft / verus-proof-synthesis
  ☆22Updated last month
• logsem / iris-tutorial
  ☆47Updated 4 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆50Updated 2 weeks ago
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 3 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 9 months ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 4 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆83Updated last week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated last month
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆96Updated last week
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• secure-foundations / human-eval-verus
  ☆12Updated this week
• uw-unsat / serval
  ☆47Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated 11 months ago
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆14Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated 3 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated last week
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated last week
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆12Updated 6 months ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago