An HTTP handler in pure Lean (Lasm.Fetch) for Node, Fastly Compute, WASI, Spin and the edge, compiled ahead of time to WebAssembly by Lasm. It runs on Node.js, and also on Bun and Deno. Node.js 24 or ...

A modern WCA speedcubing timer. Official random-state scrambles for every WCA event, real competition inspection, trainers with per-case stats, an alg trainer for seven puzzles, a reconstruction ...