RocketRace / easy_z3Links
Using z3's never been easier (maybe)
☆102Updated 3 years ago
Alternatives and similar repositories for easy_z3
Users that are interested in easy_z3 are comparing it to the libraries listed below
Sorting:
- A simple program reducer for any language.☆75Updated 2 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆180Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated 2 weeks ago
- Some fun examples of solving problems with symbolic execution☆115Updated 7 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- ☆83Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- A Low Barrier Proof Assistant☆136Updated this week
- WASM builds of the Z3 SMT solver☆149Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆164Updated last week
- Shrinkray is a modern multi-format test-case reducer☆276Updated last month
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆253Updated last week
- Unison's source code☆108Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- Symbolic formula representation and solver interaction library☆169Updated this week
- A new declarative programming language☆23Updated 5 years ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago