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:
- A fast SAT solver☆148Updated 3 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- Reduce Go programs☆216Updated last year
- Corpus of interesting Go code☆194Updated 8 years ago
- Protocol Buffer compiler written in Go☆120Updated 8 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- tool for detecting unused functions and variables in Go source code☆141Updated 5 years ago
- Profiler injection and analysis tool☆123Updated 8 years ago
- go test but faster (cached)☆247Updated 7 years ago
- licenses lists Go packages dependencies licenses☆181Updated 6 years ago
- Errors as side notes☆40Updated 7 years ago
- An immutability helper for Go☆141Updated 8 years ago
- Go library for convert io.Reader to line-by-line Reader☆91Updated 8 months ago
- ☆396Updated 7 years ago
- General, type-safe, non-allocating set-operations for any sort.Interface☆170Updated 6 years ago
- ☆47Updated 8 years ago
- expands the Go Call Expression under your cursor to check errors☆143Updated 2 years ago
- Painless polymorphism☆126Updated 8 years ago
- Check that all your Go dependencies are properly vendored☆177Updated 4 years ago
- The missing interface filesystem abstraction for Go☆202Updated 3 years ago
- A tool for rewriting Go import paths☆80Updated 7 years ago
- Benchstat computes and compares statistics about benchmarks.☆142Updated 7 years ago
- Run linters from Go code -☆65Updated 6 years ago
- GopherCI was a project to help you maintain high-quality Go projects, by checking each GitHub Pull Request, for backward incompatible cha…☆101Updated 6 years ago
- ☆228Updated 7 years ago
- Tools to process Go trace logs into various profiles. Complement for "go tool trace".☆109Updated 8 years ago
- A library of some of the utility functions provided by (but not exported) by cmd/go☆62Updated 7 years ago
- cmd-go-js is a "branch" of cmd/go that supports compiling to JavaScript.☆63Updated 9 years ago
- your dependencies have arrived☆268Updated 7 years ago
- CONTRIBUTING: The Talk☆38Updated 8 years ago