Alternatives and similar repositories for gini:

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

• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆139Updated 8 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆374Updated 10 months ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆144Updated 2 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated last year
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• fatih / astrewrite
  Go tool to walk & rewrite AST
  ☆171Updated 5 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆319Updated last year
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 6 years ago
• dgryski / go-sequitur
  Sequitur algorithm for recognizing lexical structure in strings
  ☆39Updated 3 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆78Updated 5 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 7 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• loov / view-annotated-file
  View annotated files based on line-spec
  ☆227Updated last year
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 3 years ago
• ghemawat / stream
  Package stream provides filters that can be chained together in a manner similar to Unix pipelines.
  ☆209Updated 7 years ago
• steveyen / gtreap
  gtreap is an immutable treap implementation in the Go Language
  ☆90Updated 3 years ago
• klauspost / intrinsics
  Experiment with Go intrinsics (NOT USABLE)
  ☆35Updated 7 years ago
• go-llvm / llvm
  LLVM bindings for the Go programming language
  ☆217Updated 4 years ago
• hiredman / gologic
  toy minikanren impl in Go lang
  ☆57Updated 11 years ago
• google / go-flow-levee
  ☆195Updated 2 years ago
• bjwbell / gensimd
  SIMD for Go
  ☆162Updated 7 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
• aclements / go-moremath
  An assortment of more specialized math routines for Go
  ☆71Updated 6 months ago
• llvm-mirror / llgo
  Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/…
  ☆88Updated 6 years ago
• zond / gotomic
  Non blocking data structures for Go
  ☆266Updated 8 years ago
• lukechampine / stm
  Software Transactional Memory in Go
  ☆188Updated 5 years ago