nickng / gongLinks
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
Sorting:
- Go static program analyser☆58Updated 5 years ago
- A property-based testing library☆37Updated 7 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- MiGo types library in Go☆11Updated 5 years ago
- ☆14Updated 9 years ago
- A library in golang that implements the PorterStemmer algorithm for stemming words.☆35Updated 8 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Design by contract for Go☆15Updated 2 months ago
- Research code for Doppel, an in-memory key/value transactional store☆56Updated 10 years ago
- ☆15Updated 7 years ago
- Simple code templating for Go☆19Updated 7 years ago
- Easily trace goroutines at runtime☆51Updated 4 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- jsonpointer implementation for go☆36Updated 8 years ago
- Faster alternatives for some Go stdlib packages☆14Updated 7 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆89Updated 2 years ago
- Package retrygroup provides synchronization, Context cancelation for groups of retry goroutines working on subtasks of a common task.☆17Updated 8 years ago
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 6 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Updated 9 years ago
- HTTP bindings for Irmin in Go☆17Updated 8 years ago
- Automatically exported from code.google.com/p/forestbus.server☆11Updated 9 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 9 years ago
- Development web server☆19Updated 9 years ago
- Shogun: Functions As Commands for the true samurai developer.☆23Updated 7 years ago