darinpp's repositories
or-tools
Google's Operations Research tools:
000
build
Armbian build tools
Language:ShellGPL-2.0000
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++GPL-2.0000
sbc-bench
Simple benchmark for single board computers
Language:ShellBSD-3-Clause000
protobuf
Protocol Buffers - Google's data interchange format
NOASSERTION000
ssh-key-authority
A tool for managing SSH key access to any number of servers.
Apache-2.0000
bincheck
Verify CockroachDB binaries
Language:Shell000
awesome-consensus
Awesome list for Paxos and friends
000
000
gini
A fast SAT solver
MIT000
cgo
Minimal samples of cgo
MIT000
bulk_insert
Efficient bulk inserts with ActiveRecord
Language:RubyMIT000
table_print
The best data slicer! Watch a 3 minute screencast at http://tableprintgem.com
Language:RubyMIT000
simplelib
Golang SWIG Example Project
MIT000
QP-Test-Problems
Maros and Meszaros Convex QP test problems in MAT format
000