mitchellh / go-sat
SAT solver written in Go (golang).
☆135Updated 7 years ago
Related projects: ⓘ
- tool for detecting unused functions and variables in Go source code☆142Updated 5 years ago
- Corpus of interesting Go code☆194Updated 7 years ago
- Reduce Go programs☆216Updated 6 months ago
- A fast SAT solver☆148Updated 3 years ago
- Protocol Buffer compiler written in Go☆120Updated 7 years ago
- Profiler injection and analysis tool☆122Updated 7 years ago
- Painless polymorphism☆125Updated 7 years ago
- expands the Go Call Expression under your cursor to check errors☆143Updated last year
- licenses lists Go packages dependencies licenses☆185Updated 5 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆109Updated 8 years ago
- An immutability helper for Go☆139Updated 8 years ago
- CONTRIBUTING: The Talk☆38Updated 8 years ago
- tryhard finds and rewrites code suitable for try.☆122Updated 5 years ago
- A command line tool that shows the status of Go repositories.☆244Updated 9 months ago
- go test but faster (cached)☆250Updated 6 years ago
- A tool for rewriting Go import paths☆80Updated 6 years ago
- ☆397Updated 7 years ago
- The missing interface filesystem abstraction for Go☆199Updated 3 years ago
- apicompat checks recent changes to a Go project for backwards incompatible changes☆179Updated 7 years ago
- Errors as side notes☆41Updated 7 years ago
- Check that all your Go dependencies are properly vendored☆178Updated 3 years ago
- your dependencies have arrived☆270Updated 6 years ago
- ☆70Updated 2 years ago
- Vendoring? Foolish human!☆43Updated 7 years ago
- A library operating system for Go☆189Updated 8 years ago
- Compile text/template / html/template to regular go code☆119Updated 7 years ago
- Retryable errors in Golang☆122Updated 5 years ago
- Dependency-less dependencies for Go.☆122Updated 7 years ago
- Go tool to walk & rewrite AST☆171Updated 4 years ago
- Run linters from Go code -☆67Updated 5 years ago