A high-performance API server that provides OpenAI-compatible endpoints for MLX models. Developed using Python and powered by the FastAPI framework, it provides an efficient, scalable, and user-fri…

MLX native implementations of state-of-the-art generative image models

🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch.

Web search and content extraction extension for Pi coding agent

Pi extension for async subagent delegation with truncation, artifacts, and session sharing

Claude Code like Sub-agents for Pi — parallel execution, live widget, custom agent types, mid-run steering and more ...

[WIP] Open-source alternative to Antithesis.

Skills for pi coding agent (compatible with Claude Code and Codex CLI)

CLI tool which uses the GitHub GraphQL API to rank users according to number of contributions, and corresponding static website.

Workshop "Find distributed systems bugs before production" at DevConf.CZ. Brno, June 2026

NuSMV in the browser using WebAssembly (via Emscripten)

Protocol specs in Python you can verify: test, simulate, model check, prove

Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

Fast, secure, efficient backup program

High performance self-hosted photo and video management solution.

💚 End-to-end encrypted cloud for everything.

A professional, DIN 5008 compliant invoice template for Typst with automatic calculations, EPC-QR-Code (GiroCode), and ZUGFeRD e-invoicing support.

A typst template for letters, primarily offers and invoices tailored to my usecase.

Fuzzing Workshop at Protocol Berg Berlin, June 2025

Quint specification of Aztec governance and formal verification

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

Collection of ExEx examples built on Reth

EF project Exploring Automatic Model-Checking of the Ethereum specification

Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

A Rust implementation of the Cosmos SDK

VS Code extension for viewing ITF traces

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)