An experimental optimizing compiler for Bril using egglog

A sudoku game where you have to prove that your deductions are valid

A geometry game based on Euclid's Elements.

Master programming by recreating your favorite technologies from scratch.