A desktop app for isolated, parallel agentic development

IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.

NumPy & SciPy for GPU

GPU accelerated decision optimization

MCP Server for managing Modal applications

A cloud native embedded storage engine built on object storage.

HypergraphZ – directed hypergraph library in Zig with Python bindings

Novel implementation of a Trie data structure optimized for small, sparse maps

Fast webserver with predictable memory usage

Adaptive Radix Trees implemented in C

qp tries and crit-bit tries

A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure

Nanolog is an extremely performant nanosecond scale logging system for C++ that exposes a simple printf-like API.

The financial transactions database designed for mission critical safety and performance.

Fine-grained parallelism with sub-nanosecond overhead in Zig

🗻 Log-structured, embeddable key-value storage engine written in Rust

Trie key-value database

An adaptive radix tree for efficient indexing in main memory.

A simple, reference implementation of a B^e-tree

This is the source code for our (Tobias Ziegler, Carsten Binnig and Viktor Leis) published paper at SIGMOD’22: ScaleStore: A Fast and Cost-Efficient Storage Engine using DRAM, NVMe, and RDMA.

Zig implementation of a fast, bounded, Zipf-distributed random number generator.

A command-line benchmarking tool

A composable and fully extensible C++ execution engine library for data management systems.

fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)

Dafny is a verification-aware programming language