Alternatives and similar repositories for gospal:

Users that are interested in gospal are comparing it to the libraries listed below

• DanielMorsing / suss
  A property-based testing library
  ☆37Updated 7 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 7 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆77Updated 4 years ago
• nickng / migo
  MiGo types library in Go
  ☆11Updated 4 years ago
• mdempsky / unbed
  Remove implicit field traversals from Go source
  ☆37Updated 2 years ago
• dgryski / go-ddmin
  ddmin test case minimization algorithm
  ☆31Updated 3 years ago
• KaiSta / gopherlyzer
  Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
  ☆20Updated 7 years ago
• shawnsmithdev / zermelo
  A radix sorting library for Go (golang)
  ☆51Updated last year
• dgryski / go-xoroshiro
  Go implementation of xoroshiro128+ RNG
  ☆15Updated 3 years ago
• cznic / wl
  github.com/cznic/wl has moved to modernc.org/wl
  ☆28Updated 6 years ago
• dave / brenda
  Brenda is a boolean expression solver for Go AST
  ☆46Updated 5 years ago
• dgryski / go-gramgen
  Simple generative fuzzer
  ☆16Updated 3 years ago
• eatonphil / deferlint
  Linter for finding defer statements in Go loops
  ☆32Updated 5 years ago
• sqs / go-selfupdate
  ☆29Updated 8 years ago
• rogpeppe / netdelay
  Go packages for adding delay and buffering to network connections
  ☆16Updated 5 years ago
• bradfitz / litecmp
  ☆18Updated 4 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆89Updated 2 years ago
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 2 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆51Updated 9 years ago
• denzel-morris / clex
  A C11 positional lexer with error reporting written in Go
  ☆22Updated 7 years ago
• crawshaw / iox
  Go I/O utilities
  ☆53Updated 6 years ago
• OneOfOne / xast
  xast: ast rewriter with built-in clean up.
  ☆27Updated 7 years ago
• MichaelTJones / distance
  Careful implementation of Jaro and Jaro-Winkler text difference algorithms
  ☆17Updated 7 years ago
• pkg / singlefile
  singlefile implements a host wide locking mechanism.
  ☆34Updated 9 years ago
• bcmills / unsafeslice
  Reference implementations for golang/go#38203 and golang/go#19367.
  ☆26Updated 3 years ago
• kisielk / gotool
  A library of some of the utility functions provided by (but not exported) by cmd/go
  ☆62Updated 6 years ago
• dominikh / go-keyify
  ☆15Updated 7 years ago
• mdempsky / rangerdanger
  Tool to detect range statements iterating over addressable arrays
  ☆27Updated 7 years ago
• aclements / go-moremath
  An assortment of more specialized math routines for Go
  ☆70Updated 2 months ago