crillab / gophersat

Related projects ⓘ

Alternatives and complementary repositories for gophersat

• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆136Updated 7 years ago
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆167Updated 6 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆141Updated 2 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆189Updated 8 years ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆389Updated this week
• blynn / nex
  Lexer for Go
  ☆418Updated 2 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆346Updated 6 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 7 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆460Updated 4 years ago
• timtadh / lexmachine
  Lex machinary for go.
  ☆406Updated 2 years ago
• atmanos / atmanos
  Build Go programs that run directly on the Xen hypervisor
  ☆711Updated 7 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 7 years ago
• ycoroneos / G.E.R.T
  ☆861Updated 4 years ago
• deferpanic / gorump
  go on Rumprun
  ☆314Updated 5 years ago
• tidwall / pinhole
  3D Wireframe Drawing Library for Go
  ☆570Updated 3 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆245Updated 6 years ago
• llir / llvm
  Library for interacting with LLVM IR in pure Go.
  ☆1,192Updated 5 months ago
• rsc / c2go
  C to Go translation tool supporting Go toolchain migration
  ☆499Updated 6 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 7 years ago
• prataprc / goparsec
  Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.
  ☆281Updated 2 years ago
• cznic / cc
  github.com/cznic/cc has moved to modernc.org/cc
  ☆165Updated 6 years ago
• bradfitz / iter
  Range over integers [0,n). Seriously, that's it.
  ☆297Updated 4 years ago
• dsnet / compress
  Collection of compression related Go packages.
  ☆408Updated last year
• google / gitprotocolio
  A Git protocol parser written in Go.
  ☆401Updated 3 years ago
• kjk / flex
  Go implementation of CSS flexbox layout algorithm, port of Facebook's Yoga
  ☆332Updated 6 years ago
• go-goast / goast
  goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.
  ☆135Updated 5 years ago
• gijit / gi
  gijit is a just-in-time trace-compiled golang REPL. Standing on the shoulders of giants (GopherJS and LuaJIT).
  ☆320Updated last year
• llvm-mirror / llgo
  Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/…
  ☆88Updated 5 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated 8 months ago