Starred repositories
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
GPU-accelerated no-regret learning dynamics and computational game solving
A local OpenFront agent using TypeSafe Jev for bounded gameplay decisions.
Python script to simulate the display from "The Matrix" in terminal. Uses half-width katakana unicode characters by default, but can use custom character sets. Accepts keyboard controls while runni…
Secure & isolated JS environments for nodejs