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:
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆180Updated last year
- A simple program reducer for any language.☆76Updated 2 years ago
- Flexible and Constant Time Programming Language☆202Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆292Updated 2 weeks ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Symbolic formula representation and solver interaction library☆171Updated last week
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- A Low Barrier Proof Assistant☆142Updated this week
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆79Updated 2 years ago
- A new declarative programming language☆24Updated 5 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆87Updated last year
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆94Updated 3 weeks ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year
- Brzozowski derivative python sketch☆85Updated 8 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Process-independent interface to Linux system calls☆69Updated 3 years ago
- WASM builds of the Z3 SMT solver☆151Updated 5 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Shrinkray is a modern multi-format test-case reducer☆282Updated 2 months ago
- Unison's source code☆109Updated last year
- ☆11Updated 4 years ago
- Explore ELF objects through the power of SQL☆264Updated last year
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A virtual machine for Monte.☆68Updated last month
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago