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
• 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
• thejerf / strinterp
  Morally-correct string and stream interpolation for Go.
  ☆24Updated 9 years ago
• phrozen / rayito
  Simple Ray Tracer written in Go.
  ☆117Updated 8 years ago
• seiflotfy / pmc
  Probabilistic Multiplicity Counting
  ☆49Updated 9 years ago
• beyang / go-astquery
  A simple library for querying the AST of a Go program
  ☆10Updated 10 years ago
• jamra / LevenshteinTrie
  A Trie data structure that allows for fuzzy string matching
  ☆11Updated 10 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆163Updated 6 years ago
• gonum / lapack
  A LAPACK implementation for Go [DEPRECATED]
  ☆68Updated 6 years ago
• ziutek / blas
  Go implementation of BLAS (Basic Linear Algebra Subprograms)
  ☆157Updated 6 years ago
• gonum / diff
  Set of tools for computing derivatives of a function [DEPRECATED]
  ☆23Updated 6 years ago
• sbinet / go-clang
  DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.
  ☆53Updated 8 years ago
• markphelps / go-trace
  Implementing a path tracer in Go
  ☆86Updated 5 years ago
• go-twik / twik
  Twik is a tiny embedding language for Go.
  ☆32Updated 9 years ago
• nytlabs / st-core
  a data flow graphical programming language for data science
  ☆37Updated 9 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆247Updated 6 years ago
• lazywei / mockingbird
  Programming Language Classifier
  ☆23Updated 10 years ago
• dchest / safefile
  Go package safefile implements safe "atomic" saving of files.
  ☆82Updated last year
• akrennmair / drunken-hipster
  a WebSocket-aware SSL-capable HTTP reverse proxy/load balancer
  ☆137Updated 13 years ago
• gonum / optimize
  Packages for solving minimization problems [DEPRECATED]
  ☆67Updated 6 years ago
• gonum / blas
  A BLAS implementation for Go [DEPRECATED]
  ☆171Updated 6 years ago
• yhat / benchdb
  Store go test bench data in a database
  ☆30Updated 9 years ago
• go-interpreter / ssainterp
  A Golang interpreter, built upon golang.org/x/tools/go/ssa/interp
  ☆58Updated 8 years ago
• stefantalpalaru / golib
  a library exposing Go's channels and goroutines to plain C
  ☆66Updated 6 years ago
• glycerine / bambam
  auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto
  ☆64Updated 8 years ago
• egonelbre / spexs2
  an exhaustive sequence pattern search tool
  ☆56Updated last year
• googlesamples / mugo
  Sample on how to transpile a small subset of go to Arduino sketches
  ☆48Updated 9 years ago
• go-air / gini
  A fast SAT solver
  ☆152Updated 4 years ago
• aybabtme / datagen
  Generate datastructures for your types.
  ☆77Updated 5 years ago