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).
  ☆141Updated 8 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆384Updated 4 months ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆145Updated 3 years ago
• nickng / gospal
  Go static program analyser
  ☆59Updated 5 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• lukechampine / ply
  Painless polymorphism
  ☆127Updated 8 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆32Updated 3 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆53Updated 10 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 7 years ago
• rsc / mailgun
  Utilities for interacting with mailgun.com.
  ☆28Updated 6 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆80Updated 5 years ago
• MichaelTJones / pcg
  Go implementation of Melissa O'Neill's excellent PCG pseudorandom number generator
  ☆61Updated 4 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆321Updated 2 years ago
• inspirer / textmapper
  Lexer and Parser generator
  ☆121Updated last month
• bjwbell / gensimd
  SIMD for Go
  ☆163Updated 8 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• dgryski / go-bloomindex
  Bloom-filter based search index
  ☆126Updated 4 years ago
• vektah / goparsify
  golang parser-combinator library
  ☆77Updated 3 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 7 years ago
• dgryski / go-sequitur
  Sequitur algorithm for recognizing lexical structure in strings
  ☆40Updated 3 years ago
• go-llvm / llvm
  LLVM bindings for the Go programming language
  ☆217Updated 4 years ago
• dgryski / go-boomphf
  Fast and scalable minimal perfect hashing for massive key sets
  ☆72Updated 5 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆193Updated 8 years ago
• hiredman / gologic
  toy minikanren impl in Go lang
  ☆57Updated 11 years ago
• aclements / go-moremath
  An assortment of more specialized math routines for Go
  ☆77Updated last year
• shawnsmithdev / zermelo
  A radix sorting library for Go (golang)
  ☆53Updated 2 years ago
• BurntSushi / ty
  Easy parametric polymorphism at run time using completely unidiomatic Go.
  ☆197Updated 11 years ago
• shivamMg / rd
  Build recursive descent parsers
  ☆107Updated 2 years ago
• go-goast / goast
  goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.
  ☆137Updated 6 years ago
• davecgh / go-xdr
  Implements the XDR standard as specified in RFC 4506 in pure Go (Golang)
  ☆109Updated 3 years ago