A study guide for understanding the EUPHEMIA algorithm, the Pan-European Hybrid Electricity Market Integration Algorithm. It includes explanations of key concepts and a simplified Python simulation…

Bring back the pre-Tahoe macOS volume and brightness HUDs

A statistical continuous profiler for OCaml compatible with Pyroscope

Haskell library for writing JVM bytecode in a high level format

A minimal, secure Python interpreter written in Rust for use by AI

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Clone of the LLVM 21.1.x sources with patches to support the JWA calling convention

Realtime log viewer for containers. Supports Docker, Swarm and K8s.

High performance I/O library for Java using io_uring under the hood

Hella fast HTTP server library for Java

Schedule bpftrace programs on your kubernetes cluster using the kubectl

Neural language model built from scratch in Scala 3 with GPU acceleration via Apple Metal

Native micro Web UI for scripts and agents — super fast OS native webview with bidirectional JSON communication for agents

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

Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.

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

Prototype for automatic input type reconstruction (inference) for a dynamically typed jq-like language using random testing and type subtraction.

Giving types to jq

✨ Making your shell magical

A skill implementing the CRAP formula for clojure with speclj. Easy to adjust to other testers.

A monitor of resources

Skills for Real Engineers. Straight from my .claude directory.

Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"

Express simplified GBNF grammar in Haskell, submit it to llama.cpp, parse the output responses

Differential Dataflow in TypeScript

Why is this running?

Kafka data generator and load testing tool - generate fake messages, simulate producers and consumers, test broker failures, and run chaos engineering scenarios

A complete text editor for your terminal.

A powerful CLI tool for seamless parallel development with Git worktrees.

A jq-like Markdown query language for command-line processing