aclements / go-z3
Bindings for the Z3 SMT solver
☆28Updated 2 years ago
Related projects: ⓘ
- Go static program analyser☆58Updated 4 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 5 months ago
- Don't: template-based, decentralized static analysis for Go☆11Updated 6 years ago
- symbolic reachability checker☆22Updated 2 years ago
- Godel Checker with data race detection☆9Updated 2 years ago
- Benchmark and test getter + runner☆28Updated 2 years ago
- Bootstrap Go bindings for Clang's C API☆20Updated last year
- An AVX/AVX2/x64/pure-Go implementation of the ChaCha20 stream cipher for Golang. [Deprecated].☆11Updated 6 years ago
- convert from a Go AST to JSON☆42Updated 3 years ago
- Run Go executables under llvm-mca☆13Updated 2 years ago
- Some basic unsigned 128 bit math and bitwise operations implemented in go☆16Updated 9 years ago
- automate Go compiler comparisons☆24Updated last year
- golang port of Gimli, https://gimli.cr.yp.to, a 384-bit permutation designed to achieve high security with high performance across a broa…☆17Updated 6 years ago
- package vecf64 provides common functions and methods for slices of float64☆21Updated last year
- x86-64 instruction encoder in Go☆21Updated 4 years ago
- ☆23Updated 5 years ago
- A golang implementation of the Haraka v2 family of hash functions☆14Updated 6 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- A library for factoring big integers in Go☆11Updated 5 years ago
- Implementation of do255e and do255s in Go☆23Updated 3 years ago
- Assembly-optimized Marvin32 hash function☆12Updated 8 months ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 6 years ago
- A simple static checker for unused results.☆23Updated 8 months ago
- A radix Merkle tree stored on disk☆11Updated 10 years ago
- wyhash fast non-cryptographic string hash☆34Updated 4 years ago
- Reflection-based Protocol Buffers for Go☆76Updated 4 years ago
- Work space for golang.org/x/perf version 2☆20Updated 3 years ago
- A high-performance, memory-efficient concurrent hash table☆36Updated 10 years ago