go-air / reachLinks
symbolic reachability checker
☆23Updated 3 years ago
Alternatives and similar repositories for reach
Users that are interested in reach are comparing it to the libraries listed below
Sorting:
- Bindings for the Z3 SMT solver☆31Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆11Updated 6 months ago
- Regular expression libraries for Go☆15Updated 3 years ago
- Yet Another Efficient Unification Algorithm☆27Updated 9 months ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Go static program analyser☆58Updated 5 years ago
- Go module and utility for executing machine code☆24Updated last year
- Extremely experimental toy go compiler☆19Updated 4 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆25Updated 4 years ago
- ☆15Updated 8 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- ☆23Updated 6 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- An inspection and administration interface for Go programs, especially Go programs which run on GoCircuit.☆33Updated 10 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- Golang Hash Array Map Trie☆11Updated 3 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated 2 years ago
- A fast SAT solver☆148Updated 3 years ago
- ☆22Updated 3 weeks ago
- Go allocation trace utilities☆15Updated 4 years ago
- Tool for plotting Go benchmark results☆16Updated 10 months ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Assembly-optimized Marvin32 hash function☆12Updated last year
- Go driver for ragel scanners☆36Updated 5 years ago
- A Go package for myriad array operations using wavelet trees☆18Updated 9 years ago
- A radix Merkle tree stored on disk☆12Updated 10 years ago