Alternatives and similar repositories for gini

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

• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆379Updated last year
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆140Updated 8 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆144Updated 2 years ago
• dgryski / go-sequitur
  Sequitur algorithm for recognizing lexical structure in strings
  ☆40Updated 3 years ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆94Updated 2 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• loov / view-annotated-file
  View annotated files based on line-spec
  ☆225Updated last year
• steveyen / gtreap
  gtreap is an immutable treap implementation in the Go Language
  ☆90Updated 3 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆78Updated 5 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 6 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆186Updated 8 years ago
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 3 years ago
• pusher / go-interface-fuzzer
  Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell
  ☆108Updated 8 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆52Updated 9 years ago
• nelhage / gojit
  JIT code-generation in Go!
  ☆345Updated 9 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆320Updated last year
• bmkessler / fastdiv
  Fast division, modulus and divisibility checks in Go for divisors known only at runtime.
  ☆117Updated 6 years ago
• dgryski / go-bloomindex
  Bloom-filter based search index
  ☆123Updated 3 years ago
• BurntSushi / ty
  Easy parametric polymorphism at run time using completely unidiomatic Go.
  ☆197Updated 11 years ago
• goccmack / gogll
  Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers
  ☆198Updated last year
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 7 years ago
• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 5 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆247Updated 6 years ago
• klauspost / intrinsics
  Experiment with Go intrinsics (NOT USABLE)
  ☆36Updated 7 years ago
• zeebo / goof
  Goof (Go Object Finder) is a package that does the unthinkable to your binary
  ☆154Updated last year
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆157Updated 6 years ago