nickng / gospalLinks
Go static program analyser
☆58Updated 5 years ago
Alternatives and similar repositories for gospal
Users that are interested in gospal are comparing it to the libraries listed below
Sorting:
- A property-based testing library☆37Updated 8 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- A radix sorting library for Go (golang)☆53Updated 2 years ago
- Go implementation of xoroshiro128+ RNG☆15Updated 4 years ago
- github.com/cznic/sqlite3shell has moved to modernc.org/sqlite3shell☆21Updated 6 years ago
- Gong liveness and channel safety checker☆31Updated 7 years ago
- MiGo types library in Go☆11Updated 5 years ago
- ☆29Updated 9 years ago
- singlefile implements a host wide locking mechanism.☆34Updated 10 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- github.com/cznic/wl has moved to modernc.org/wl☆28Updated 6 years ago
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- Fast and scalable minimal perfect hashing for massive key sets☆71Updated 5 years ago
- Interlink Remote Applications☆22Updated 7 years ago
- github.com/cznic/file has moved to modernc.org/file☆57Updated 6 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Updated 3 years ago
- Linter for finding defer statements in Go loops☆32Updated 6 years ago
- ☆18Updated 4 years ago
- Line breaking in linear time☆32Updated 7 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 7 years ago
- ☆23Updated 6 years ago
- exponential smoothing toolkit☆15Updated 9 years ago
- identity pure functions in golang source☆26Updated 2 years ago
- Simple code templating for Go☆19Updated 8 years ago
- Easy fuzzing with go-fuzz☆14Updated 5 years ago