Alternatives and similar repositories for pigosat

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

• cznic / ccir
  github.com/cznic/ccir has moved to modernc.org/ccir
  ☆29Updated 6 years ago
• thejerf / strinterp
  Morally-correct string and stream interpolation for Go.
  ☆24Updated 9 years ago
• KaiSta / gopherlyzer
  Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
  ☆20Updated 8 years ago
• rocky / go-fish
  A simple go REPL building on top of the go-interactive expression evaluator
  ☆42Updated 10 years ago
• songgao / bufferManager.go
  bufferManager demonstrates a technique to decrease pressure on GC in Go.
  ☆38Updated 11 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 6 years ago
• seiflotfy / pmc
  Probabilistic Multiplicity Counting
  ☆49Updated 10 years ago
• nytlabs / st-core
  a data flow graphical programming language for data science
  ☆37Updated 9 years ago
• danverbraganza / keysort
  An adapter to enable the Schwartzian Transform when sorting in Go.
  ☆16Updated 9 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆158Updated 6 years ago
• nsf / golemon
  Port of the lemon parser generator to the Go programming language
  ☆57Updated 4 years ago
• phrozen / rayito
  Simple Ray Tracer written in Go.
  ☆117Updated 8 years ago
• gonum / lapack
  A LAPACK implementation for Go [DEPRECATED]
  ☆68Updated 6 years ago
• sbinet / notes-and-todos
  notes about stuff
  ☆39Updated 9 years ago
• go-air / gini
  A fast SAT solver
  ☆153Updated 4 years ago
• beyang / go-astquery
  A simple library for querying the AST of a Go program
  ☆10Updated 10 years ago
• sbinet / pygo
  A WIP toy interpreter in Go, for CPython
  ☆30Updated 9 years ago
• egonelbre / spexs2
  an exhaustive sequence pattern search tool
  ☆57Updated last year
• gonum / mathext
  mathext implements basic elementary functions not included in the Go standard library [DEPRECATED]
  ☆16Updated 6 years ago
• tent / hawk-go
  Hawk authentication implementation in Go
  ☆75Updated 6 years ago
• go-interpreter / ssainterp
  A Golang interpreter, built upon golang.org/x/tools/go/ssa/interp
  ☆58Updated 8 years ago
• cznic / interval
  github.com/cznic/interval has moved to modernc.org/interval
  ☆11Updated 6 years ago
• andrewchambers / cc
  Cross platform C preprocessor and compiler.
  ☆276Updated 10 years ago
• axw / llgo
  LLVM-based compiler for Go
  ☆39Updated 9 years ago
• qeedquan / gosubc
  An implementation of the SubC language in Go
  ☆165Updated 8 years ago
• ekzhu / go-datasketch
  Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)
  ☆11Updated 10 years ago
• seiflotfy / loglogbeta
  LogLog based Cardinality Estimator
  ☆63Updated 7 years ago
• bfontaine / vanish
  Temporary files and directories made easy
  ☆28Updated 3 years ago
• jamra / LevenshteinTrie
  A Trie data structure that allows for fuzzy string matching
  ☆11Updated 10 years ago
• gonum / diff
  Set of tools for computing derivatives of a function [DEPRECATED]
  ☆23Updated 6 years ago