Open source payments + billing infrastructure

An experimental optimizing compiler for Bril

egraphs + datalog!

The Metadata Platform for your Data and AI Stack

ICFP tutorial

Convert your ascii diagram scribbles into happy little SVG

Formalizations of a selection of programming language topics in the style of Software Foundations.

KAIST CS420: Compiler Design

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Tools for concurrent programming in Rust

Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox

A benchmark to compare synchronization techniques for multicore programming

TAPIR distributed transactional storage system

Haskell library which provides client support for POP3, SMTP, and IMAP protocols.