Distributed event stream server over HTTP, backed by S3.

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

BeyondCorp-Inspired HTTPS Proxy

The Wyzer Programming Language

An explorable 3D city that shows how Postgres actually works

A programming language that transpiles to JavaScript. Sort of like if Rust and TypeScript had a baby.

Small Foundation Models for the Power Grid

🎁 Physical computing system.

Implementation of the Cedar Policy Language

Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.

Pure Go tree-sitter runtime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

Playwright MCP server

My Masterthesis in Data Engineering and Analytics "Expressing CRDTs with Datalog" at TUM.

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

Python extension for Visual Studio Code

An implementation of the Debug Adapter Protocol for Python

A deterministic WASM/WASI sandbox for model checking distributed applications.

PicoGK is a compact and robust geometry kernel for Computational Engineering

Parser of PSS/E-format Power Flow Raw Data Files (.raw)

fate is a modern data client for React.

Build system, successor to Buck

An interpreter for Rust's mid-level intermediate representation

xet client tech, used in huggingface_hub

An extremely fast Python type checker and language server, written in Rust.

Data interchange with algebraic data types.

A prolly tree (probabilistic tree) is a data structure designed to provide efficient storage, retrieval, and modification of ordered data with integrity guarantees.