Alternatives and similar repositories for go-sat:

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

• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• go-air / gini
  A fast SAT solver
  ☆146Updated 3 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated 11 months ago
• pusher / go-interface-fuzzer
  Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell
  ☆109Updated 8 years ago
• pmezard / licenses
  licenses lists Go packages dependencies licenses
  ☆182Updated 6 years ago
• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 5 years ago
• jba / errside
  Errors as side notes
  ☆40Updated 7 years ago
• stapelberg / expanderr
  expands the Go Call Expression under your cursor to check errors
  ☆143Updated 2 years ago
• matloob / contributing
  CONTRIBUTING: The Talk
  ☆38Updated 8 years ago
• mdempsky / codesweep
  ☆47Updated 8 years ago
• geckoboard / prism
  Profiler injection and analysis tool
  ☆123Updated 8 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆77Updated 4 years ago
• FiloSottile / vendorcheck
  Check that all your Go dependencies are properly vendored
  ☆178Updated 4 years ago
• dsymonds / gotoc
  Protocol Buffer compiler written in Go
  ☆121Updated 8 years ago
• FiloSottile / tracetools
  Tools to process Go trace logs into various profiles. Complement for "go tool trace".
  ☆112Updated 7 years ago
• bketelsen / trace
  trace is a wrapper for net/trace that extends it by logging trace/event information to a structured log and providing metrics (counts, er…
  ☆71Updated 3 years ago
• lukechampine / freeze
  An immutability helper for Go
  ☆141Updated 8 years ago
• gophergala2016 / cmd-go-js
  cmd-go-js is a "branch" of cmd/go that supports compiling to JavaScript.
  ☆63Updated 8 years ago
• davecheney / graphpkg
  Graph Go package dependencies
  ☆95Updated 6 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 7 years ago
• griesemer / tryhard
  tryhard finds and rewrites code suitable for try.
  ☆125Updated 5 years ago
• rsc / gt
  go test but faster (cached)
  ☆248Updated 7 years ago
• constabulary / kang
  Vendoring? Foolish human!
  ☆42Updated 8 years ago
• cznic / memory
  github.com/cznic/memory has moved to modernc.org/memory
  ☆105Updated 6 years ago
• kisielk / gotool
  A library of some of the utility functions provided by (but not exported) by cmd/go
  ☆62Updated 7 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆88Updated 2 years ago
• ryanuber / go-license
  Software licensing standardization library for Golang
  ☆69Updated 6 years ago
• badgerodon / goreify
  ☆70Updated 3 years ago
• eandre / discover
  A utility for conceptualizing large Go code bases
  ☆179Updated 3 years ago
• surullabs / lint
  Run linters from Go code -
  ☆66Updated 6 years ago