Alternatives and similar repositories for go-sat:

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

• mvdan / goreduce
  Reduce Go programs
  ☆215Updated last year
• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 5 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• pusher / go-interface-fuzzer
  Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell
  ☆108Updated 8 years ago
• pmezard / licenses
  licenses lists Go packages dependencies licenses
  ☆182Updated 6 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆187Updated 8 years ago
• stapelberg / expanderr
  expands the Go Call Expression under your cursor to check errors
  ☆142Updated 2 years ago
• StabbyCutyou / generics
  Package generics is the true way to program generically in golang
  ☆193Updated 7 years ago
• kisielk / gotool
  A library of some of the utility functions provided by (but not exported) by cmd/go
  ☆62Updated 7 years ago
• matloob / contributing
  CONTRIBUTING: The Talk
  ☆38Updated 8 years ago
• rsc / benchstat
  Benchstat computes and compares statistics about benchmarks.
  ☆141Updated 7 years ago
• src-d / go-billy
  The missing interface filesystem abstraction for Go
  ☆201Updated 3 years ago
• constabulary / kang
  Vendoring? Foolish human!
  ☆41Updated 8 years ago
• geckoboard / prism
  Profiler injection and analysis tool
  ☆123Updated 8 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆78Updated 5 years ago
• lukechampine / freeze
  An immutability helper for Go
  ☆141Updated 8 years ago
• dsymonds / gotoc
  Protocol Buffer compiler written in Go
  ☆120Updated 8 years ago
• davecheney / graphpkg
  Graph Go package dependencies
  ☆95Updated 6 years ago
• ryanuber / go-license
  Software licensing standardization library for Golang
  ☆69Updated 7 years ago
• mh-cbon / template-compiler
  Compile text/template / html/template to regular go code
  ☆119Updated 7 years ago
• maxim2266 / strit
  Package strit introduces a new type of string iterator, along with a number of iterator constructors, wrappers and combinators.
  ☆84Updated 3 years ago
• dave / brenda
  Brenda is a boolean expression solver for Go AST
  ☆46Updated 6 years ago
• cosiner / flag
  Flag is a simple but powerful command line option parsing library for Go support infinite level subcommand
  ☆131Updated 4 years ago
• dominikh / go-unused
  ☆342Updated 7 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆89Updated 2 years ago
• rsc / gt
  go test but faster (cached)
  ☆247Updated 7 years ago
• FiloSottile / tracetools
  Tools to process Go trace logs into various profiles. Complement for "go tool trace".
  ☆110Updated 8 years ago
• badgerodon / goreify
  ☆70Updated 3 years ago