go-air / gini

Related projects ⓘ

Alternatives and complementary repositories for gini

• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆371Updated 4 months ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆136Updated 7 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆141Updated 2 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 4 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 3 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 7 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆165Updated 6 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆189Updated 8 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆77Updated 4 years ago
• steveyen / gtreap
  gtreap is an immutable treap implementation in the Go Language
  ☆89Updated 2 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆154Updated 5 years ago
• llvm-mirror / llgo
  Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/…
  ☆88Updated 5 years ago
• go-llvm / llvm
  LLVM bindings for the Go programming language
  ☆219Updated 3 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆245Updated 6 years ago
• bjwbell / gensimd
  SIMD for Go
  ☆160Updated 7 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 6 years ago
• dgryski / go-sequitur
  Sequitur algorithm for recognizing lexical structure in strings
  ☆39Updated 2 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 3 years ago
• dsymonds / gotoc
  Protocol Buffer compiler written in Go
  ☆121Updated 8 years ago
• BurntSushi / ty
  Easy parametric polymorphism at run time using completely unidiomatic Go.
  ☆197Updated 10 years ago
• go-goast / goast
  goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.
  ☆135Updated 5 years ago
• ghemawat / stream
  Package stream provides filters that can be chained together in a manner similar to Unix pipelines.
  ☆205Updated 7 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated 8 months ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆316Updated last year
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆29Updated 2 years ago
• zellyn / gocool
  Go implementation of the Cool programming language
  ☆42Updated 7 years ago
• go-interpreter / proposal
  Go-interpreter Project Design Documents
  ☆57Updated 6 years ago
• goccmack / gogll
  Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers
  ☆195Updated last year
• zond / gotomic
  Non blocking data structures for Go
  ☆267Updated 8 years ago