Stars
The FASTEST QUALITY hash function, random number generators (PRNG) and hash map.
Benchmark suite of test functions suitable for evaluating black-box optimization strategies
A simple, battle-tested and generic set type for the Go language. Trusted by Docker, 1Password, Ethereum and Hashicorp.
View disk space usage and delete unwanted data, fast.
BuntDB is an embeddable, in-memory key/value database for Go with custom indexing and geospatial support
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
A Python module for parallel optimization of expensive black-box functions
A model checker for implementing distributed systems.
Tools for working with sstables
dnscrypt-proxy 2 - A flexible DNS proxy, with support for encrypted DNS protocols.
Fast and modular sklearn replacement for generalized linear models
Surrogate-based Multi-Objective Optimization Tool
Efficient global optimization toolbox in Rust: bayesian optimization, mixture of gaussian processes, sampling methods
๐๐ฎ๐๐ฎ, ๐๐ป๐ฎ๐น๐๐๐ถ๐ฐ๐ & ๐๐. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com
lzbench is an in-memory benchmark of open-source compressors