dgryski / modelchecking
model checking samples
☆17Updated 3 years ago
Alternatives and similar repositories for modelchecking:
Users that are interested in modelchecking are comparing it to the libraries listed below
- A simple bounded queue simulator☆21Updated 6 years ago
- An inspection and administration interface for Go programs, especially Go programs which run on GoCircuit.☆33Updated 10 years ago
- ☆15Updated 8 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- ☆12Updated 3 years ago
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16Updated 11 months ago
- Stupid crypto tricks☆18Updated 3 years ago
- A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.☆27Updated 2 years ago
- Assembly-optimized Marvin32 hash function☆12Updated last year
- A simple static checker for unused results.☆23Updated last year
- Extremely experimental toy go compiler☆19Updated 4 years ago
- ☆23Updated 6 years ago
- Github Actions wrapper for vmtest☆11Updated 3 months ago
- Go implementation of bcrypt_pbkdf(3) from OpenBSD☆13Updated 10 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- Go PASETO implementation☆19Updated 4 years ago
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Updated 2 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Reverse DNS server for IPv6 subnets☆14Updated 2 years ago
- A golang implementation of the Haraka v2 family of hash functions☆14Updated 6 years ago
- A library that provides simple TLS SNI demultiplexing without actually consuming the SSL handshake.☆23Updated 9 years ago
- HTTP Keyserver Protocol (HKP) handlers☆13Updated 7 years ago
- Go sqlite3 cache☆20Updated last year
- A fast encoder for Go.☆11Updated 4 years ago
- A profiler that uses ebpf to produce pprof-format profiles☆12Updated 6 years ago
- A sleep-aware-sleep() function☆12Updated 2 months ago
- Smart Go module dependency inspection and pruning.☆19Updated 4 years ago
- A raytracer, for fun☆26Updated 3 years ago
- Tool to detect inconsistencies between Go source files.☆13Updated 6 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago