Alternatives and similar repositories for gophersat

Users that are interested in gophersat are comparing it to the libraries listed below

• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆140Updated 8 years ago
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆168Updated 6 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 8 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆186Updated 8 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆145Updated 2 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆458Updated 5 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆347Updated 7 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆398Updated 5 months ago
• minio / blake2b-simd
  Fast hashing using pure Go implementation of BLAKE2b with SIMD instructions
  ☆257Updated 7 years ago
• tcard / sgo
  A dialect of Go with optional types and without nil references.
  ☆181Updated 6 years ago
• kjk / flex
  Go implementation of CSS flexbox layout algorithm, port of Facebook's Yoga
  ☆336Updated 7 years ago
• google / shenzhen-go
  Experimental visual Go environment
  ☆463Updated 3 years ago
• atmanos / atmanos
  Build Go programs that run directly on the Xen hypervisor
  ☆710Updated 7 years ago
• storozhukBM / verifier
  Package verifier provides simple defensive programing primitives.
  ☆267Updated 5 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆319Updated last year
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆246Updated 6 years ago
• dgryski / trifles
  A playground for things that aren't interesting enough to have their own repo.
  ☆333Updated 7 months ago
• neugram / ng
  scripting language integrated with Go
  ☆917Updated 5 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• godoctor / godoctor
  Go Doctor - The Golang Refactoring Engine
  ☆446Updated 2 months ago
• goccmack / gogll
  Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers
  ☆197Updated last year
• deferpanic / gorump
  go on Rumprun
  ☆311Updated 6 years ago
• pwaller / go2ll-talk
  Live coding a basic Go compiler with LLVM in 20 minutes
  ☆269Updated last year
• dgryski / interesting-papers
  Interesting papers I'd like to implement (or at least have implementations of)
  ☆122Updated 3 years ago
• mvdan / gogrep
  Search for Go code using syntax trees
  ☆476Updated 3 years ago
• BurntSushi / go-sumtype
  A simple utility for running exhaustiveness checks on Go "sum types."
  ☆435Updated last month
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆156Updated 6 years ago
• gonum / matrix
  Matrix packages for the Go language [DEPRECATED]
  ☆446Updated 6 years ago