Lists (4)
Stars
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
A tutorial website for plain vanilla web development
Temporal Reprojection Anti-Aliasing for Unity 5.0+
A maintained, feature-rich and performance oriented, neofetch like system information tool.
Glide is a slideshow making program that also lets you drop down to code in rhombus.
An HTML+CSS template for making more accessible posters
Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals
An accessibility tool that scans a google slide for tab order and gives it a visual display
MathCAT: Math Capable Assistive Technology for generating speech, braille, and navigation.
Property-based testing for web and terminal UIs
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.
A beautiful yet powerful syntax highlighter
Voxtral ASR & TTS running natively and in the browser. A Rust implementation of Mistral's Voxtral mini realtime ASR / TTS using the Burn ML framework
A community trust management system based on explicit vouches to participate.
a digital safe with multiple keys, held by people you trust
Arboretum is a web-tool for introductory CS environments that makes authoring accessible data structures low-barrier by supporting common specification languages.
🚏 Open-source DIY public transit arrivals board for your home
An experimental language for causal reasoning
simple markdown subset for painless parsing and rendering
A boss-rush game that runs directly on YouTube videos.
Axya is a Jekyll theme that helps researchers quickly publish accessible, clean, and modern companion sites for their papers, posters, and projects.