mitchellh / go-sat

Related projects ⓘ

Alternatives and complementary repositories for go-sat

• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 5 years ago
• dsymonds / gotoc
  Protocol Buffer compiler written in Go
  ☆121Updated 8 years ago
• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated 8 months ago
• stapelberg / expanderr
  expands the Go Call Expression under your cursor to check errors
  ☆143Updated 2 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 7 years ago
• pmezard / licenses
  licenses lists Go packages dependencies licenses
  ☆184Updated 6 years ago
• geckoboard / prism
  Profiler injection and analysis tool
  ☆122Updated 7 years ago
• badgerodon / goreify
  ☆70Updated 3 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆77Updated 4 years ago
• lukechampine / freeze
  An immutability helper for Go
  ☆139Updated 8 years ago
• rogpeppe / govers
  A tool for rewriting Go import paths
  ☆80Updated 6 years ago
• constabulary / kang
  Vendoring? Foolish human!
  ☆42Updated 7 years ago
• griesemer / tryhard
  tryhard finds and rewrites code suitable for try.
  ☆123Updated 5 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆89Updated 2 years ago
• StabbyCutyou / generics
  Package generics is the true way to program generically in golang
  ☆193Updated 6 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 7 years ago
• FiloSottile / vendorcheck
  Check that all your Go dependencies are properly vendored
  ☆178Updated 3 years ago
• src-d / go-billy
  The missing interface filesystem abstraction for Go
  ☆199Updated 3 years ago
• pusher / go-interface-fuzzer
  Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell
  ☆109Updated 8 years ago
• cznic / memory
  github.com/cznic/memory has moved to modernc.org/memory
  ☆105Updated 6 years ago
• matloob / contributing
  CONTRIBUTING: The Talk
  ☆38Updated 8 years ago
• mh-cbon / template-compiler
  Compile text/template / html/template to regular go code
  ☆118Updated 7 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆371Updated 4 months ago
• FiloSottile / tracetools
  Tools to process Go trace logs into various profiles. Complement for "go tool trace".
  ☆111Updated 7 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆189Updated 8 years ago
• philwinder / gocoverage
  Generate a unified coverage file for all your Go code
  ☆47Updated 7 years ago
• mdempsky / codesweep
  ☆47Updated 8 years ago
• msoap / byline
  Go library for convert io.Reader to line-by-line Reader
  ☆89Updated last month
• jba / errside
  Errors as side notes
  ☆40Updated 7 years ago