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
  ☆147Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆139Updated 8 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆143Updated 2 years ago
• timtadh / lexmachine
  Lex machinary for go.
  ☆411Updated 2 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆187Updated 8 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 8 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• gijit / gi
  gijit is a just-in-time trace-compiled golang REPL. Standing on the shoulders of giants (GopherJS and LuaJIT).
  ☆322Updated last year
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆167Updated 6 years ago
• dgryski / trifles
  A playground for things that aren't interesting enough to have their own repo.
  ☆333Updated 6 months ago
• google / shenzhen-go
  Experimental visual Go environment
  ☆464Updated 3 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆347Updated 7 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆246Updated 6 years ago
• deferpanic / goweave
  Aspect Oriented Programming for Go
  ☆225Updated 5 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆458Updated 5 years ago
• pwaller / go2ll-talk
  Live coding a basic Go compiler with LLVM in 20 minutes
  ☆268Updated last year
• crawshaw / littleboss
  littleboss: supervisor construction kit
  ☆637Updated 6 years ago
• system-pclub / GCatch
  Statically Detecting Go Concurrency Bugs
  ☆436Updated last year
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated last year
• lukechampine / stm
  Software Transactional Memory in Go
  ☆188Updated 5 years ago
• argusdusty / Ferret
  An optimized substring search engine written in Go
  ☆549Updated 6 years ago
• google / gitprotocolio
  A Git protocol parser written in Go.
  ☆400Updated 3 years ago
• neugram / ng
  scripting language integrated with Go
  ☆917Updated 5 years ago
• gonum / graph
  Graph packages for the Go language [DEPRECATED]
  ☆251Updated 5 years ago
• godoctor / godoctor
  Go Doctor - The Golang Refactoring Engine
  ☆445Updated last month
• storozhukBM / verifier
  Package verifier provides simple defensive programing primitives.
  ☆268Updated 5 years ago
• zserge / metric
  Minimal metrics for Go (counter/gauge/histogram). No dependencies. Compatible with expvar. Web UI included.
  ☆358Updated 5 years ago
• divan / depscheck
  Dependency checker for Golang (Go) packages. Prints stats and suggests to remove small LeftPad-like imports if any.
  ☆427Updated 6 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆319Updated last year
• bradleyjkemp / memviz
  Visualize your Go data structures using graphviz
  ☆1,292Updated 3 years ago