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

An Exhibition Of Mathematical Beauty.

Combinatorial game library in Lean 4

It's http://whatcolourisit.scn9a.org/ but as a Chrome Extension

This repository stores files for Section 508 Compliance Reporting Tool (SCRT). This tool is standalone browser based application and is used to capture section 508 test results.

A Lean companion to Analysis I

Mathematical Components (the Book)

TA lecture notes for UCLA Spring 2025 COM SCI 143: Database Management Systems