-
Code for breakfast
- Utrecht, Netherlands
- http://www.timonv.nl
- in/timonv
Starred repositories
Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk β just hardlinks locally and S3 for sharing.
Glanceable tmux status and selective native notifications for Codex sessions
Spec-driven development (SDD) for AI coding assistants.
Fastest enterprise AI gateway (50x faster than LiteLLM) with adaptive load balancer, cluster mode, guardrails, 1000+ models support & <100 Β΅s overhead at 5k RPS.
Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
Lean 4 programming language and theorem prover
An agentic skills framework & software development methodology that works.
A skill file for removing AI tells from prose
Next Generation Agentic Proxy for AI Agents and MCP servers
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Modern TUI merge tool and interactive diff editor for Jujutsu (jj) and Git
High-performance open-source in-memory graph database for GraphRAG, AI memory, agentic AI, and real-time graph analytics. Cypher-compatible, built in C++.
Lakehouse native graph engine with git-style workflows
Change Risk Anti-Patterns (CRAP) metric for Rust projects
The missing open source Kubernetes UI. Topology, event timeline, and service traffic β plus resource browsing and Helm management.
Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read
π§± easy fast local-first microVM runtime and library
The headless browser for AI agents and web scraping
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Skills for Real Engineers. Straight from my .agents directory.
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
A fast native Rust Mermaid diagram renderer. No browser required. 500-1000x faster than mermaid-cli.