crillab / gophersatLinks
gophersat, a SAT solver in Go
☆382Updated last month
Alternatives and similar repositories for gophersat
Users that are interested in gophersat are comparing it to the libraries listed below
Sorting:
- A fast SAT solver☆152Updated 4 years ago
- SAT solver written in Go (golang).☆140Updated 8 years ago
- A single / multi layer / recurrent neural network written in Golang.☆169Updated 7 years ago
- Experimental channel implementation☆311Updated 8 years ago
- Lex machinary for go.☆412Updated 3 years ago
- Pure Go implementation of the NaCL set of API's☆548Updated last month
- A Go implementation of Git functions☆345Updated 7 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Package verifier provides simple defensive programing primitives.☆267Updated 5 years ago
- Experimental visual Go environment☆464Updated 4 years ago
- A Go library implementing an FST (finite state transducer)☆511Updated 2 years ago
- Corpus of interesting Go code☆194Updated 8 years ago
- A library operating system for Go☆185Updated 9 years ago
- Optimal Quantile Approximation in Streams☆162Updated 2 years ago
- Reduce Go programs☆216Updated last year
- littleboss: supervisor construction kit☆638Updated 6 years ago
- A Git protocol parser written in Go.☆400Updated 4 years ago
- Live coding a basic Go compiler with LLVM in 20 minutes☆268Updated last year
- Static analyser for finding Deadlocks in Go☆320Updated last year
- An experimental computer algebra system written in Go☆398Updated 9 months ago
- Build Go programs that run directly on the Xen hypervisor☆711Updated 7 years ago
- A playground for things that aren't interesting enough to have their own repo.☆334Updated 11 months ago
- Interesting papers I'd like to implement (or at least have implementations of)☆122Updated 4 years ago
- scripting language integrated with Go☆915Updated 6 years ago
- Package stream provides filters that can be chained together in a manner similar to Unix pipelines.☆209Updated 7 years ago
- Graph packages for the Go language [DEPRECATED]☆251Updated 6 years ago
- Golang benchmarks used for optimizing code☆328Updated 5 months ago
- 3D Wireframe Drawing Library for Go☆575Updated 4 years ago
- Painless polymorphism☆126Updated 8 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆157Updated 6 years ago