ClickHouse® is a real-time analytics database management system

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

A library that provides an embeddable, persistent key-value store for fast storage.

Cloud-native high-performance edge/middle/service proxy

SQL powered operating system instrumentation, monitoring, and analytics.

Nix, the purely functional package manager

software version control visualization

A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

The Z3 Theorem Prover

A fast, powerful type checker designed for Ruby

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Computational geometry and spatial indexing on the sphere

Functional Programming Library for C++. Write concise and readable C++ code.

Apple HomeKit firmware for Shelly's

distributed dataflows with functional list operations for data processing with C++14