nickng / gong
Gong liveness and channel safety checker
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for gong
- A property-based testing library☆37Updated 7 years ago
- Go static program analyser☆58Updated 4 years ago
- MiGo types library in Go☆11Updated 4 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 5 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Easily trace goroutines at runtime☆50Updated 3 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- ☆14Updated 9 years ago
- ctx = Cons(ctx1, ctx2)☆22Updated 7 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- Remove implicit field traversals from Go source☆35Updated 2 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆89Updated 2 years ago
- ☆15Updated 9 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 8 years ago
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 5 years ago
- Json Streams Modeling in Go☆24Updated 6 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 8 years ago
- show Go package dependencies☆52Updated 6 years ago
- Automatically exported from code.google.com/p/forestbus.server☆11Updated 9 years ago
- auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto☆65Updated 8 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- HTTP bindings for Irmin in Go☆17Updated 8 years ago
- github.com/cznic/wl has moved to modernc.org/wl☆28Updated 5 years ago
- jsonpointer implementation for go☆36Updated 8 years ago
- ☆29Updated 8 years ago
- Go Object Notation.☆24Updated 2 years ago
- Unexport notused exported identifiers in Go☆23Updated 9 years ago