An inky color scheme for prose and code.

NewsReader is an original typeface designed by Production Type, primarily intended for continuous on-screen reading in content-rich environments.

Executes commands in response to file modifications

Reimplementing Git in Rust. Like a boss.

Work with GitHub in Neovim 🌊

Arké - a bitcoin iOS app based on the Ark protocol prototype by Second.

helix key bindings for fish

npx ccusage

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

Bayesian Workflow book code and case studies

Formalized Cryptography Proofs in Lean 4

Lean circuit DSL

Rust language proof-carrying data framework

Property-based testing for Rust, built on Hypothesis

The agent that grows with you

Registry of agents implementing the Agent Client Protocol (ACP)

Cargo wrapper that enforces a cooldown window for freshly published crates on crates.io for improved supply chain security.

Fast, friendly GHCi

Write HTML. Render video. Built for agents.

Rust implementation of Tailscale (preview, experimental)

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Neovim Lua plugin with minimal and fast statusline. Part of 'mini.nvim' library.

Highlight patterns in text. Part of 'mini.nvim' library.

Icon provider. Part of 'mini.nvim' library.

Pick anything. Part of 'mini.nvim' library.

Neovim Lua plugin to automatically manage character pairs. Part of 'mini.nvim' library.

Neovim Lua plugin with fast and feature-rich surround actions. Part of 'mini.nvim' library.