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.☆178Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆277Updated last week
- A simple program reducer for any language.☆73Updated 2 years ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- Shrinkray is a modern multi-format test-case reducer☆271Updated 3 months ago
- Datalog with support for SMT queries and first-order functional programming☆158Updated 7 months ago
- Symbolic formula representation and solver interaction library☆161Updated this week
- ☆82Updated 8 months ago
- tar creator+extractor in ~100 lines of prolog☆264Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- A Low Barrier Proof Assistant☆112Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A static parser for POSIX Shell☆195Updated last year
- Brzozowski derivative python sketch☆85Updated 2 months ago
- 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…☆77Updated last month
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆11Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago