go-air / gini
A fast SAT solver
☆148Updated 3 years ago
Alternatives and similar repositories for gini:
Users that are interested in gini are comparing it to the libraries listed below
- SAT solver written in Go (golang).☆139Updated 8 years ago
- gophersat, a SAT solver in Go☆374Updated 10 months ago
- Go (golang) bindings to the Z3 SMT Solver☆144Updated 2 years ago
- Go static program analyser☆58Updated 5 years ago
- Reduce Go programs☆216Updated last year
- convert from a Go AST to JSON☆42Updated 4 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- Corpus of interesting Go code☆194Updated 8 years ago
- Painless polymorphism☆126Updated 8 years ago
- Static analyser for finding Deadlocks in Go☆319Updated last year
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆39Updated 3 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- symbolic reachability checker☆23Updated 3 years ago
- View annotated files based on line-spec☆227Updated last year
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Package stream provides filters that can be chained together in a manner similar to Unix pipelines.☆209Updated 7 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- Experiment with Go intrinsics (NOT USABLE)☆35Updated 7 years ago
- LLVM bindings for the Go programming language☆217Updated 4 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- ☆195Updated 2 years ago
- SIMD for Go☆162Updated 7 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- An assortment of more specialized math routines for Go☆71Updated 6 months ago
- Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/…☆88Updated 6 years ago
- Non blocking data structures for Go☆266Updated 8 years ago
- Software Transactional Memory in Go☆188Updated 5 years ago