Skip to content
View timonv's full-sized avatar
πŸš€
πŸš€

Organizations

@euruko2012 @bosun-ai

Block or report timonv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

BPF static linker

Rust 288 61 Updated Jul 27, 2026

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.

Rust 457 22 Updated Jul 26, 2026

Glanceable tmux status and selective native notifications for Codex sessions

Python 2 Updated Jul 14, 2026

A flight-compliant WebAssembly interpreter.

Rust 1,415 45 Updated Jul 26, 2026

Spec-driven development (SDD) for AI coding assistants.

TypeScript 62,660 4,332 Updated Jul 26, 2026

Fastest enterprise AI gateway (50x faster than LiteLLM) with adaptive load balancer, cluster mode, guardrails, 1000+ models support & <100 Β΅s overhead at 5k RPS.

Go 6,810 944 Updated Jul 27, 2026

Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.

Python 4,243 476 Updated Jul 26, 2026

Lean 4 programming language and theorem prover

Lean 8,574 915 Updated Jul 26, 2026

An agentic skills framework & software development methodology that works.

Shell 261,599 23,356 Updated Jul 24, 2026

A skill file for removing AI tells from prose

14,503 1,034 Updated Mar 17, 2026

Next Generation Agentic Proxy for AI Agents and MCP servers

Rust 4,054 675 Updated Jul 24, 2026

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

JavaScript 89,835 4,942 Updated Jul 15, 2026

Modern TUI merge tool and interactive diff editor for Jujutsu (jj) and Git

Rust 135 7 Updated Jun 21, 2026

Remove unused dependencies in a Rust project

Rust 539 25 Updated Jul 26, 2026

High-performance open-source in-memory graph database for GraphRAG, AI memory, agentic AI, and real-time graph analytics. Cypher-compatible, built in C++.

C++ 4,276 250 Updated Jul 25, 2026

Lakehouse native graph engine with git-style workflows

Rust 980 161 Updated Jul 26, 2026

Change Risk Anti-Patterns (CRAP) metric for Rust projects

Rust 372 11 Updated Jul 19, 2026

The missing open source Kubernetes UI. Topology, event timeline, and service traffic β€” plus resource browsing and Helm management.

Go 2,663 148 Updated Jul 26, 2026

Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read

Python 5,713 238 Updated Jul 25, 2026
Go 23 2 Updated Jul 22, 2026

🧱 easy fast local-first microVM runtime and library

Rust 7,027 358 Updated Jul 27, 2026

The headless browser for AI agents and web scraping

Rust 19,728 1,422 Updated Jul 26, 2026

Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

TypeScript 39,722 2,961 Updated Jun 17, 2026

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

196,565 20,234 Updated Apr 20, 2026

LadybugDB a graph database

C++ 1,489 120 Updated Jul 26, 2026

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

Shell 189,625 16,284 Updated Jul 23, 2026

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

Rust 73,347 4,580 Updated Jul 26, 2026

Open-source Agent Operating System

Rust 18,064 2,282 Updated Jul 2, 2026

A fast native Rust Mermaid diagram renderer. No browser required. 500-1000x faster than mermaid-cli.

Rust 1,526 81 Updated Jul 26, 2026
Next