Streaming speech recognition running natively and in the browser. A pure Rust implementation of Mistral's Voxtral Mini 4B Realtime model using the Burn ML framework.

A community trust management system based on explicit vouches to participate.

have a plan for the worst-case scenario

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

Write compact quizzes and tests.

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.

Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.

Fil-C: completely compatible memory safety for C and C++

Finds potential accessibility gaps, files GitHub issues to track them, and attempts to fix them with Copilot.

A Verilog synthesis flow for Minecraft redstone circuits

Like `sort | uniq -c | sort -rn` but better

A tool to test web content for accessibility and 508 compliance.

inspired by Nostalgia by David Horvitz

The hypermedia framework.

Automated web accessibility testing with axe-core

tfw when you when your lid when uhh angle your lid sensor

An ESLint plugin for linting HTML files and HTML in JavaScript Template Literals

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

A menagerie of cute implementations of modern typechecking algorithms

A LaTeX class for producing presentations

An archive of monoline vector fonts, and p5.js code to render them.

HoTTEST Summer School materials