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
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 8 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆144Updated 2 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆346Updated 7 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆247Updated 6 years ago
• timtadh / lexmachine
  Lex machinary for go.
  ☆412Updated 2 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆186Updated 8 years ago
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆168Updated 6 years ago
• storozhukBM / verifier
  Package verifier provides simple defensive programing primitives.
  ☆267Updated 5 years ago
• smarty-archives / mafsa
  Package mafsa implements Minimal Acyclic Finite State Automata in Go, essentially a high-speed, memory-efficient, Unicode-friendly set of…
  ☆296Updated 6 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆457Updated 5 years ago
• couchbase / vellum
  A Go library implementing an FST (finite state transducer)
  ☆509Updated 2 years ago
• deferpanic / gorump
  go on Rumprun
  ☆311Updated 6 years ago
• neugram / ng
  scripting language integrated with Go
  ☆917Updated 6 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• mndrix / golog
  Prolog interpreter in Go
  ☆374Updated 5 years ago
• rsc / c2go
  C to Go translation tool supporting Go toolchain migration
  ☆501Updated 7 years ago
• dominikh / go-staticcheck
  ☆396Updated 7 years ago
• qeedquan / gosubc
  An implementation of the SubC language in Go
  ☆164Updated 8 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆320Updated last year
• gonum / graph
  Graph packages for the Go language [DEPRECATED]
  ☆251Updated 6 years ago
• google / gitprotocolio
  A Git protocol parser written in Go.
  ☆400Updated 3 years ago
• godoctor / godoctor
  Go Doctor - The Golang Refactoring Engine
  ☆448Updated 4 months ago
• kevinburke / nacl
  Pure Go implementation of the NaCL set of API's
  ☆547Updated last month
• go-goast / goast
  goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.
  ☆137Updated 5 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆157Updated 6 years ago
• skelterjohn / go.matrix
  linear algebra for go
  ☆340Updated 6 years ago
• divan / depscheck
  Dependency checker for Golang (Go) packages. Prints stats and suggests to remove small LeftPad-like imports if any.
  ☆426Updated 6 years ago
• go4org / go4
  go4 hosts the go4.org packages.
  ☆328Updated last year