-
Code for breakfast
- Utrecht, Netherlands
- http://www.timonv.nl
- in/timonv
Starred repositories
π Code quality CLI for universal linting, auto-formatting, security scanning, and maintainability
A COBOL-to-Rust migration example proven with Parity
Wrap a Command, to spawn processes in a group or session or job object etc (successor to command-group)
High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
Sample Z application showing how to work with mainframe software.
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 with a built-in MCP server for AI agents. See what's broken, why, and what changed. Issues, Topology, event timeline, Helm, GitOps, live service traffic, and cβ¦
Fast and Accurate Code Search for Agents. Uses 99% 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.