qqq-wisc / wisqLinks
☆25Updated last month
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below
Sorting:
- A minimal development of SSA theory☆154Updated this week
- A Small Quantum Intermediate Representation☆86Updated last week
- An awesome list of e-graph resources☆204Updated last month
- Course website for Systems Verification Fall 2024☆11Updated last month
- A translation validation framework for MLIR☆88Updated 4 months ago
- Definition of the Viper intermediate verification language.☆88Updated 3 weeks ago
- ☆43Updated last week
- The Quartz Quantum Compiler☆84Updated 2 months ago
- ☆14Updated 11 months ago
- A JIT compiler for hybrid quantum programs in PennyLane☆173Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆123Updated last month
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆55Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆111Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆157Updated last week
- Quantum circuit analysis toolkit☆85Updated last week
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆19Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆229Updated 2 weeks ago
- A quantum circuit language and formal verification tool☆104Updated 3 months ago
- Pythonic quantum-classical programming language☆52Updated this week
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆12Updated 11 months ago
- A project to digitalise results from physics into Lean.☆308Updated this week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆215Updated last month
- The Vellvm (Verified LLVM) coq development.☆440Updated last week
- Apron Numerical Abstract Domain Library☆132Updated 4 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆270Updated this week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated this week
- An automated deductive program verifier based on concurrent separation logic☆20Updated 3 weeks ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆41Updated 4 months ago