Starred repositories
Native UI components for C: about 150 of them, with spring motion and full keyboard support. Windows, macOS and Linux, no dependencies.
Herald is a terminal email client and inbox cleanup tool with IMAP, AI-assisted triage, MCP tools, and SSH/browser-friendly app modes.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.
Experimental benchmark of JavaScript frameworks and Claude token usage on a sample app
Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.
A fast HTML parser with source offsets and CSS selectors
Custom cursor shaders for ghostty & kitty terminals (trails and ripple/pulse effects)
A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐
Zoom-based navigation for the web. Turn any site into a spatial zoom interface with just HTML
penciled.js: a 15 kB open-source JavaScript library for persistent text highlights and notes on any web page. Built on the CSS Custom Highlight API.
ECMAScript Proposal, specs, and reference implementation for Realms
An innovative superfamily of fonts for code
JuliaMono is a monospaced font for scientific and technical users, with comprehensive Unicode support.
A Chrome extension that lets plants invade your abandoned tabs the longer you leave them unread. To get the page back, you have to slash through the plants with your mouse, as if trying to open an …
A GLSL type checker, code formatter, and minifier for WebGL
Terminal based IDE & text editor: easy, powerful and fast
A glow-up for Claude Code: a live cockpit pane, shareable themes, and a pixel pet that acts out what Claude is doing
[COLM '24] Source-Aware Training Enables Knowledge Attribution in Language Models
A Japanese font that shows furigana by itself.
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies