wkschwartz / pigosat
Go (golang) bindings for Picosat, the satisfiability solver
☆15Updated 6 years ago
Related projects: ⓘ
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 5 years ago
- ☆40Updated this week
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 5 years ago
- Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance☆17Updated 2 years ago
- A simple go REPL building on top of the go-interactive expression evaluator☆41Updated 9 years ago
- ☆15Updated this week
- a (tiny) VM project built with Go☆59Updated 7 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 8 years ago
- Probabilistic Multiplicity Counting☆49Updated 8 years ago
- ☆15Updated this week
- github.com/cznic/interval has moved to modernc.org/interval☆11Updated 5 years ago
- HyperLogLog++ for Go☆43Updated 6 years ago
- an exhaustive sequence pattern search tool☆52Updated 7 months ago
- A Trie data structure that allows for fuzzy string matching☆11Updated 9 years ago
- ☆11Updated 2 years ago
- ☆13Updated this week
- The Gsp Prelude and Go bindings.☆28Updated 8 years ago
- A simple library for querying the AST of a Go program☆10Updated 9 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Provides interfaces, functions and codecs that can be used to encode/decode data to/from various formats.☆32Updated 7 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 11 years ago
- mathext implements basic elementary functions not included in the Go standard library [DEPRECATED]☆16Updated 5 years ago
- ☆29Updated 4 years ago
- Research code for Doppel, an in-memory key/value transactional store☆56Updated 9 years ago
- Package for converting between scientific units [DEPRECATED]☆27Updated 5 years ago
- d-left Counting Bloom Filter☆56Updated 9 years ago
- notes about stuff☆39Updated 8 years ago
- ☆19Updated this week
- ☆13Updated this week