mitchellh / go-satLinks
SAT solver written in Go (golang).
☆140Updated 8 years ago
Alternatives and similar repositories for go-sat
Users that are interested in go-sat are comparing it to the libraries listed below
Sorting:
- Reduce Go programs☆216Updated last year
- tool for detecting unused functions and variables in Go source code☆141Updated 6 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- Corpus of interesting Go code☆194Updated 8 years ago
- Painless polymorphism☆126Updated 8 years ago
- Protocol Buffer compiler written in Go☆120Updated 8 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- Profiler injection and analysis tool☆123Updated 8 years ago
- ☆70Updated 3 years ago
- Errors as side notes☆40Updated 8 years ago
- An immutability helper for Go☆141Updated 8 years ago
- Vendoring? Foolish human!☆41Updated 8 years ago
- ☆47Updated 8 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆90Updated 3 years ago
- The missing interface filesystem abstraction for Go☆202Updated 4 years ago
- Time utility with lovely mocking support☆76Updated 2 years ago
- CONTRIBUTING: The Talk☆38Updated 8 years ago
- Vendor copies go dependencies to ./vendor☆52Updated 8 years ago
- Go I/O utilities☆53Updated 6 years ago
- ☆91Updated 3 years ago
- binstale tells you whether the binaries in your GOPATH/bin are stale or up to date.☆142Updated last year
- Statictemplate is a code generator for Go's text/template and html/template.☆80Updated 6 years ago
- A property-based testing library☆37Updated 8 years ago
- A tool for rewriting Go import paths☆80Updated 7 years ago
- Package generics is the true way to program generically in golang☆193Updated 7 years ago
- licenses lists Go packages dependencies licenses☆181Updated 6 years ago
- Measuring time intervals correctly in Go (monotonic clock).☆64Updated 6 years ago
- expands the Go Call Expression under your cursor to check errors☆143Updated 2 years ago
- strace for go☆79Updated 7 years ago
- Tool for show test coverage in terminal for Go source files☆249Updated 10 months ago