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 4 years ago
- ☆14Updated 9 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- Easily trace goroutines at runtime☆50Updated 4 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Updated 9 years ago
- Hacking on Go's type system☆9Updated 7 years ago
- ☆11Updated 7 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 9 years ago
- Faster alternatives for some Go stdlib packages☆14Updated 7 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- Go Object Notation.☆24Updated 2 years ago
- Short experimental programs for playing with and learning new things. No importable Go packages here.☆38Updated last year
- A Go package that helps you remember the DO in TODO☆12Updated 10 years ago
- Automatically exported from code.google.com/p/forestbus.server☆11Updated 9 years ago
- Emulating builtin complex numbers with structs of floats and measuring the results☆10Updated 7 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- MiGo types library in Go☆11Updated 4 years ago
- Supervisor trees for Go☆11Updated 7 years ago
- Generate Go structs from JSON!☆42Updated 11 years ago
- Check which interfaces a Go type implements☆66Updated 8 years ago
- Re-usable Go components and micro-frameworks☆33Updated 7 years ago
- ☆29Updated 8 years ago
- HTTP bindings for Irmin in Go☆17Updated 8 years ago
- Concurrent inverse Bloom filter.☆13Updated 10 years ago
- CRDTs for golang☆43Updated 12 years ago