The hacker's browser.

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

Pure C inference of Mistral Voxtral Realtime 4B speech to text model

A free, open source, and extensible speech-to-text application that works completely offline.

TOTP library for Go

Open-Source Frontier Voice AI

The fastest 128-bit and 256-bit hash, passes all tests, and under 140 source lines of code. API library and CLI tool in C++ and NodeJS/Wasm

🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.

Beads - A memory upgrade for your coding agent

A rich terminal UI for GitHub that doesn't break your flow.

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Titania Programming Language

The open source coding agent.

Persistence interface for Haskell allowing multiple storage methods.

git commit --fixup, but automatic

An extremely fast Python package and project manager, written in Rust.

A simple utility for running exhaustiveness checks on Go "sum types."

Represent large sets and maps compactly with finite state transducers.

A command line tool to generate Unicode tables as source code.

⭐️ A friendly language for building type-safe, scalable systems!

The financial transactions database designed for mission critical safety and performance.

Style definitions for nice terminal layouts 👄

Custom slash commands for Claude Code that provide comprehensive development session tracking and documentation

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Terminal JSON viewer & processor

Agent-first note-taking system

My dotfiles synced from localhost and remote machines