⌨️ Emacs Keymap inside Visual Studio Code.

Web browser engineering (a book)

Glide is a slideshow making program that also lets you drop down to code in rhombus.

An experimental optimizing compiler for Bril using egglog

Hardware-based tick counters for high-precision benchmarks in Rust

The MaPLe compiler: efficient and scalable parallel functional programming

an educational compiler intermediate representation

egraphs + datalog!

An OBS plugin that allows capture of independant application audio streams on Windows, in a similar fashion to OBS's game capture and Discord's application streaming.

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Interval arithmetic for real computation

Compiler for Elm, a functional language for reliable webapps.

K Framework Tools 7.0

Defining the semantics of K in K

An emacs extension that sonifies your code.

Play Game Boy games on your Playdate.

Play MIDI songs in Overwatch

Free and open source video editor, based on MLT Framework and KDE Frameworks

A barely functional, wildly incomplete and basically undocumented Rust crate whose aim is to let you write Games for the Playdate handheld gaming system in Rust.

Rewrite Rule Inference Using Equality Saturation

Optimize floating-point expressions for accuracy

egg is a flexible, high-performance e-graph library

Server and client code for the Elm website.

reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee…

Web application enabling users and software to browse, upload, and share synthetic biology designs

The Racket repository

A Racket package for creating and composing pure functional lenses

Interactive POetry Editor