qqq-wisc / wisqLinks
☆23Updated last week
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below
Sorting:
- An awesome list of e-graph resources☆191Updated 3 weeks ago
- A minimal development of SSA theory☆148Updated this week
- Course website for Systems Verification Fall 2024☆11Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆153Updated 3 months ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- A Small Quantum Intermediate Representation☆86Updated 5 months ago
- ☆52Updated 7 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆53Updated last month
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆119Updated 2 weeks ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated 2 weeks ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated last week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Definition of the Viper intermediate verification language.☆88Updated this week
- ☆40Updated 3 weeks ago
- ☆27Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆204Updated last month
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆212Updated last week
- Libraries useful for Dafny programs☆45Updated 2 months ago
- Solver for Constrained Horn Clauses☆39Updated last week
- The Quartz Quantum Compiler☆83Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆110Updated this week
- Communication between Coq and SAT/SMT solvers☆161Updated 9 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆131Updated last week
- ☆14Updated 11 months ago
- The glucose SAT solver☆116Updated last month
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆263Updated this week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 7 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 6 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago