crillab / gophersat

Related projects: ⓘ

• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆135Updated 7 years ago
• made2591 / go-perceptron-go
  A single / multi layer / recurrent neural network written in Golang.
  ☆167Updated 6 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 7 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆140Updated 2 years ago
• godoctor / godoctor
  Go Doctor - The Golang Refactoring Engine
  ☆446Updated 11 months ago
• timtadh / lexmachine
  Lex machinary for go.
  ☆405Updated 2 years ago
• pwaller / go2ll-talk
  Live coding a basic Go compiler with LLVM in 20 minutes
  ☆266Updated 10 months ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆245Updated 5 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆189Updated 8 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 7 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆315Updated 11 months ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆345Updated 6 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆461Updated 4 years ago
• rsc / c2go
  C to Go translation tool supporting Go toolchain migration
  ☆499Updated 6 years ago
• storozhukBM / verifier
  Package verifier provides simple defensive programing primitives.
  ☆268Updated 4 years ago
• gijit / gi
  gijit is a just-in-time trace-compiled golang REPL. Standing on the shoulders of giants (GopherJS and LuaJIT).
  ☆318Updated 10 months ago
• BurntSushi / go-sumtype
  A simple utility for running exhaustiveness checks on Go "sum types."
  ☆417Updated 4 months ago
• atmanos / atmanos
  Build Go programs that run directly on the Xen hypervisor
  ☆711Updated 6 years ago
• mvdan / goreduce
  Reduce Go programs
  ☆216Updated 6 months ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆385Updated last week
• mmcloughlin / mathfmt
  Document mathematical Go code beautifully
  ☆197Updated 7 months ago
• dominikh / go-staticcheck
  ☆397Updated 7 years ago
• lukechampine / ply
  Painless polymorphism
  ☆125Updated 7 years ago
• ericlagergren / decimal
  A high-performance, arbitrary-precision, floating-point decimal library.
  ☆518Updated 5 months ago
• dgryski / trifles
  A playground for things that aren't interesting enough to have their own repo.
  ☆334Updated last year
• deferpanic / gorump
  go on Rumprun
  ☆314Updated 5 years ago
• dancrowley303 / crenshaw-go
  A Go implementation of Jack Crenshaw's Let's Build a Compiler tutorial series
  ☆258Updated 8 years ago
• go4org / go4
  go4 hosts the go4.org packages.
  ☆327Updated 11 months ago
• divan / depscheck
  Dependency checker for Golang (Go) packages. Prints stats and suggests to remove small LeftPad-like imports if any.
  ☆429Updated 5 years ago