Lists (2)
Stars
Deterministic multi-agent workflow orchestration and codemode scripts for Pi
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 secure Python sandbox, written in Rust, for code written 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
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.
A skill implementing the CRAP formula for clojure with speclj. Easy to adjust to other testers.
Skills for Real Engineers. Straight from my .agents 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