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
  ☆154Updated 4 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆141Updated 8 years ago
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆170Updated 7 years ago
• google / shenzhen-go
  Experimental visual Go environment
  ☆464Updated 4 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 8 years ago
• timtadh / lexmachine
  Lex machinary for go.
  ☆411Updated 3 years ago
• pwaller / go2ll-talk
  Live coding a basic Go compiler with LLVM in 20 minutes
  ☆268Updated 2 years ago
• storozhukBM / verifier
  Package verifier provides simple defensive programing primitives.
  ☆267Updated 5 years ago
• ghemawat / stream
  Package stream provides filters that can be chained together in a manner similar to Unix pipelines.
  ☆209Updated 8 years ago
• kevinburke / nacl
  Pure Go implementation of the NaCL set of API's
  ☆551Updated 5 months ago
• axiomhq / quantiles
  Optimal Quantile Approximation in Streams
  ☆163Updated 2 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• couchbase / vellum
  A Go library implementing an FST (finite state transducer)
  ☆513Updated 2 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆321Updated 2 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆185Updated 9 years ago
• vivint / infectious
  Reed-Solomon forward error correcting library
  ☆196Updated 2 years ago
• google / gitprotocolio
  A Git protocol parser written in Go.
  ☆400Updated 4 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆145Updated 3 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆345Updated 7 years ago
• lukechampine / ply
  Painless polymorphism
  ☆127Updated 8 years ago
• dgryski / interesting-papers
  Interesting papers I'd like to implement (or at least have implementations of)
  ☆122Updated 4 years ago
• lukechampine / stm
  Software Transactional Memory in Go
  ☆187Updated 6 years ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆398Updated last year
• atmanos / atmanos
  Build Go programs that run directly on the Xen hypervisor
  ☆711Updated 8 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆158Updated 6 years ago
• gijit / gi
  gijit is a just-in-time trace-compiled golang REPL. Standing on the shoulders of giants (GopherJS and LuaJIT).
  ☆325Updated 2 years ago
• slobdell / skew-binomial-queues
  ☆64Updated 3 years ago
• dgryski / trifles
  A playground for things that aren't interesting enough to have their own repo.
  ☆336Updated last year
• ycoroneos / G.E.R.T
  ☆857Updated 5 years ago
• lafikl / liblb
  A golang library that implements load balancing algorithms.
  ☆369Updated 8 years ago