go-air / giniLinks
A fast SAT solver
☆152Updated 4 years ago
Alternatives and similar repositories for gini
Users that are interested in gini are comparing it to the libraries listed below
Sorting:
- gophersat, a SAT solver in Go☆382Updated 2 months ago
- SAT solver written in Go (golang).☆140Updated 8 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Go static program analyser☆58Updated 5 years ago
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- A generic fuzzing and delta-debugging framework☆247Updated 6 years ago
- Painless polymorphism☆126Updated 8 years ago
- Bindings for the Z3 SMT solver☆31Updated 3 years ago
- Lexer and Parser generator☆120Updated 4 months ago
- Utilities for interacting with mailgun.com.☆28Updated 6 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- State Machine Assisted Testing☆78Updated 5 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- A library operating system for Go☆185Updated 9 years 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
- symbolic reachability checker☆23Updated 4 years ago
- Corpus of interesting Go code☆194Updated 8 years ago
- SIMD for Go☆163Updated 7 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- JIT code-generation in Go!☆348Updated 9 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆137Updated 6 years ago
- LLVM bindings for the Go programming language☆217Updated 4 years ago
- Gong liveness and channel safety checker☆31Updated 7 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Updated 3 years ago
- Fast and scalable minimal perfect hashing for massive key sets☆72Updated 5 years ago
- Reduce Go programs☆216Updated last year
- A radix sorting library for Go (golang)☆53Updated 2 years ago