nickng / gospal
Go static program analyser
☆58Updated 4 years ago
Alternatives and similar repositories for gospal:
Users that are interested in gospal are comparing it to the libraries listed below
- A property-based testing library☆37Updated 7 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- Linter for finding defer statements in Go loops☆32Updated 5 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- ☆29Updated 8 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
- Tool to detect range statements iterating over addressable arrays☆27Updated 7 years ago
- github.com/cznic/wl has moved to modernc.org/wl☆28Updated 6 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- MiGo types library in Go☆11Updated 4 years ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Updated 8 years ago
- Graph layouting package☆24Updated last month
- Reference implementations for golang/go#38203 and golang/go#19367.☆26Updated 3 years ago
- ☆18Updated 4 years ago
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- Faster alternatives for some Go stdlib packages☆14Updated 7 years ago
- Go I/O utilities☆53Updated 6 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- wyhash fast non-cryptographic string hash☆35Updated 4 years ago
- Return random values sampled from a discrete distribution☆38Updated 7 years ago
- Package retrygroup provides synchronization, Context cancelation for groups of retry goroutines working on subtasks of a common task.☆17Updated 8 years ago
- Package valuegraph produces a graph representation of any Go value.☆32Updated 7 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- A radix sorting library for Go (golang)☆51Updated last year
- identity pure functions in golang source☆26Updated 2 years ago