marcvanzee / go-sat
Simple SAT Solver written in Go
☆21Updated 2 years ago
Related projects: ⓘ
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 8 years ago
- HyperLogLog in golang☆25Updated 6 years ago
- Remove implicit field traversals from Go source☆35Updated 2 years ago
- A property-based testing library☆37Updated 7 years ago
- Go implementation of xoroshiro128+ RNG☆15Updated 3 years ago
- Go packages for adding delay and buffering to network connections☆16Updated 5 years ago
- ☆29Updated 8 years ago
- ☆12Updated this week
- Generates a GitHub issue description for go-fuzz findings☆11Updated 8 years ago
- percentiles for Go benchmarks☆29Updated 5 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- Automatic codegen for encoding/binary marshaling☆17Updated 9 years ago
- automatically trigger a profile in your golang (go) application when a condition is matched.☆15Updated 3 years ago
- ☆19Updated this week
- Go implementation of the randomized algorithm for quantiles.☆14Updated 6 years ago
- Optimal cache stampede prevention☆15Updated 7 years ago
- Package counting provides wrappers to add counting to io.Reader and io.Writer.☆24Updated 9 years ago
- RRD statistics collector implemented in Go☆31Updated 8 years ago
- Golang: contex-aware synchronization primitives (mutex).☆30Updated 8 months ago
- ☆15Updated 7 years ago
- tools to modify go programs☆11Updated 8 years ago
- Faster alternatives for some Go stdlib packages☆15Updated 6 years ago
- Line breaking in linear time☆30Updated 6 years ago
- Go library for Chitin data file format and protocol☆11Updated 8 years ago
- Simple expiring cache☆16Updated 7 years ago
- identity pure functions in golang source☆25Updated last year
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- singlefile implements a host wide locking mechanism.☆34Updated 9 years ago
- ☆47Updated 8 years ago
- 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