Alternatives and similar repositories for go-z3

Users that are interested in go-z3 are comparing it to the libraries listed below

• go-air / gini
  A fast SAT solver
  ☆153Updated 4 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆30Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆141Updated 8 years ago
• google / go-flow-levee
  ☆194Updated 3 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 5 years ago
• thepudds / fzgo
  fzgo is a prototype of "make fuzzing a first class citizen" in the go command. Supports rich signatures & generating fuzz functions.
  ☆115Updated 3 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆53Updated 9 years ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆94Updated 3 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• fatih / astrewrite
  Go tool to walk & rewrite AST
  ☆171Updated 5 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• tmc / ssaview
  ssaview live-renders the SSA representation of a go program
  ☆70Updated 10 years ago
• junhwi / gobco
  Measuring branch coverage of golang test
  ☆28Updated 5 years ago
• shawnsmithdev / zermelo
  A radix sorting library for Go (golang)
  ☆53Updated 2 years ago
• codahale / tinystat
  A Go library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆68Updated 4 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆91Updated 3 years ago
• ncw / gmp
  Go language interface to GMP - GNU Multiprecision Library (golang)
  ☆119Updated last year
• jbardin / gotrace
  strace for go
  ☆79Updated 7 years ago
• lukechampine / ply
  Painless polymorphism
  ☆127Updated 8 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆79Updated 5 years ago
• dgryski / go-metro
  Go translation of MetroHash
  ☆113Updated 10 months ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated last year
• soniakeys / graph
  Simple and fast graph library
  ☆72Updated 5 years ago
• jba / errside
  Errors as side notes
  ☆40Updated 8 years ago
• thepudds / fzgen
  Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…
  ☆109Updated last year
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆383Updated 4 months ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆321Updated 2 years ago
• remyoudompheng / go-misc
  Miscellaneous Go toys
  ☆134Updated 6 years ago
• dgryski / go-sequitur
  Sequitur algorithm for recognizing lexical structure in strings
  ☆40Updated 3 years ago
• goccmack / gogll
  Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers
  ☆199Updated 2 years ago