nickng / gong
Gong liveness and channel safety checker
☆30Updated 7 years ago
Alternatives and similar repositories for gong:
Users that are interested in gong are comparing it to the libraries listed below
- A property-based testing library☆37Updated 7 years ago
- Go static program analyser☆58Updated 5 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- golang parser-combinator library☆75Updated 2 years ago
- State Machine Assisted Testing☆77Updated 5 years ago
- Hacking on Go's type system☆9Updated 7 years ago
- ☆23Updated 6 years ago
- Faster alternatives for some Go stdlib packages☆14Updated 7 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- HTTP bindings for Irmin in Go☆17Updated 8 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- Check which interfaces a Go type implements☆66Updated 9 years ago
- MiGo types library in Go☆11Updated 5 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- ☆15Updated 7 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 5 years ago
- A library in golang that implements the PorterStemmer algorithm for stemming words.☆35Updated 8 years ago
- ☆47Updated 8 years ago
- Go Object Notation.☆24Updated 2 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
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- A small library to help rewrite / modify the AST of a Go (golang) program☆17Updated 10 years ago
- ☆14Updated 9 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆89Updated 2 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- CRDTs for golang☆43Updated 12 years ago