go-air / giniLinks
A fast SAT solver
☆149Updated 3 years ago
Alternatives and similar repositories for gini
Users that are interested in gini are comparing it to the libraries listed below
Sorting:
- SAT solver written in Go (golang).☆140Updated 8 years ago
- gophersat, a SAT solver in Go☆379Updated last week
- convert from a Go AST to JSON☆42Updated 4 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Go static program analyser☆58Updated 5 years ago
- Bindings for the Z3 SMT solver☆31Updated 2 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Updated 3 years ago
- Painless polymorphism☆126Updated 8 years ago
- Probabilistic Data Structures for Go☆256Updated 7 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- A generic fuzzing and delta-debugging framework☆247Updated 6 years ago
- A library operating system for Go☆186Updated 9 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- Package mafsa implements Minimal Acyclic Finite State Automata in Go, essentially a high-speed, memory-efficient, Unicode-friendly set of…☆296Updated 6 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆157Updated 6 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- Reduce Go programs☆216Updated last year
- Corpus of interesting Go code☆194Updated 8 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Lexer and Parser generator☆120Updated 2 months ago
- Generics for go☆113Updated 10 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- Go implementation of Melissa O'Neill's excellent PCG pseudorandom number generator☆61Updated 3 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- Utilities for interacting with mailgun.com.☆28Updated 6 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- SIMD for Go☆163Updated 7 years ago