Portable file system cache diagnostics and control

Kubernetes prompt info for bash, fish, and zsh

dotfiles

A curated list of awesome Pinecone resources, libraries, tools and applications

My personal code review tool.

Open-source plugin for designing and reviewing software with agents

Pinecone for Postgres: one pgvector column, three engines

Minimal MCP server providing LSP-powered code intelligence for AI coding agents

Secure and fast microVMs for serverless computing.

Incremental rust builds up to 92x faster than cargo/rustc

Reverse engineer anything with agents, from app behavior down to native binaries.

Learn your codebases through self-quizzing and study. Track your knowledge coverage over time.

A beautiful terminal UI for visualizing Git repository statistics, inspired by htop/btop.

The open-source System One decision model. Sub-15ms, non-autoregressive, local drop-in alternative to TypeSafe Jev.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Your own search engine

Command suggestions, command-not-found and thefuck replacement written in Rust

Basic Geometry Types

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Minimalistic dynamically-typed language for fun, teaching and creative programming.

Local-first search across your workspace, built for humans and AI agents.

An interpreter for Rust's mid-level intermediate representation

Sparse byte-range caching and async read coalescing for immutable objects such as remote index files

HydraDB - fast graph database on object storage

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

An embeddable, portable, branchable virtual machine to safely run Agents locally.

Heap profiling and ad hoc profiling for Rust programs.

A CLI text-to-speech tool using the Kokoro model, supporting multiple languages, voices (with blending), and various input formats including EPUB books and PDF documents.