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.

Open-source, cloud-native transactional tensor storage engine

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics

PyTorch Single Controller

An interactive blog on computer science and web dev 💡

lakeFS - Data version control for your data lake | Git for data

Bulk port forwarding Kubernetes services for local development.

A modern, browser-based, open source SQL workbench for your MySQL and PostgreSQL compatible database with version control features when connected to Dolt.

Code. Music. Live.

Tidal Audio Engine