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
  ☆382Updated last month
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆140Updated 8 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆145Updated 3 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆31Updated 3 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 7 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆320Updated last year
• inspirer / textmapper
  Lexer and Parser generator
  ☆121Updated 3 months ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 6 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆157Updated 6 years ago
• hiredman / gologic
  toy minikanren impl in Go lang
  ☆57Updated 11 years 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/…
  ☆89Updated 6 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆52Updated 9 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆64Updated 7 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆185Updated 9 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• BurntSushi / ty
  Easy parametric polymorphism at run time using completely unidiomatic Go.
  ☆197Updated 11 years ago
• steveyen / gtreap
  gtreap is an immutable treap implementation in the Go Language
  ☆90Updated 3 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆78Updated 5 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• rsc / mailgun
  Utilities for interacting with mailgun.com.
  ☆28Updated 6 years ago
• aclements / objbrowse
  Interactive object file browser with symbol, source, assembly, and analysis
  ☆23Updated last year
• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 6 years ago
• dgryski / interesting-papers
  Interesting papers I'd like to implement (or at least have implementations of)
  ☆122Updated 4 years ago
• DistCompiler / pgo
  PGo is a source to source compiler from Modular PlusCal specs into Go programs.
  ☆189Updated 3 weeks ago
• dgryski / go-bloomindex
  Bloom-filter based search index
  ☆124Updated 3 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated last year
• fatih / astrewrite
  Go tool to walk & rewrite AST
  ☆172Updated 5 years ago