Lists (2)
Stars
Neural language model built from scratch in Scala 3 with GPU acceleration via Apple Metal
Native macOS micro-UI for scripts and agents — sub-50ms WKWebView windows with bidirectional JSON communication
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Semantic version control CLI. Entity-level diff, blame, graph, and impact analysis for code. 21 languages via tree-sitter.
Entity-level semantic merge driver for Git. Resolves conflicts that git can't by understanding code structure via tree-sitter. 31/31 clean merges vs git's 15/31.
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.
My personal directory of skills, 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
Kafka data generator and load testing tool - generate fake messages, simulate producers and consumers, test broker failures, and run chaos engineering scenarios
A powerful CLI tool for seamless parallel development with Git worktrees.
A jq-like Markdown query language for command-line processing
A git diff pager based on delta but with a file tree, à la GitHub.
🕵️♂️ Collect a dossier on a person by username from 3000+ sites
A (TUI/CLI) markdown navigator with tree-based structural navigation.
Beads - A memory upgrade for your coding agent
Simple, minimal SQL database migrations written in Go. Build your own migration CLI with it. Std lib database/sql and SQLX supported out of the box.
SPIR-🇹: shader-focused IR to target, transform and translate from 🦀
Go library for diffing Postgres schemas and generating SQL migrations