Responsive web tablature using pure CSS
Updated 2026-06-07 22:50:17 +02:00
(countable) Ordinaly game / browser in JS
Updated 2026-06-07 16:12:28 +02:00
Cookie clicker with fast-growing hierarchy for ordinals below epsilon0.
Updated 2026-06-05 12:35:17 +02:00
Library for working with relations, functions, clones and minions.
Updated 2026-05-21 07:55:50 +02:00
Files for teaching Lean on Charles University
Updated 2026-05-20 00:15:56 +02:00
Python GTK application for editing and git-saving partially ordered sets
Updated 2026-05-05 15:46:17 +02:00
PuzzleScript reimplementation in Lean, heavily vibe-coded (except Engine and its dependencies, State on JS side, showcase files)
Updated 2026-05-04 09:08:22 +02:00
AI-coded (Claude) Lean reimplementation of the dqrat-checker: https://github.com/peitl/dqrat-check/
Updated 2026-03-30 22:46:35 +02:00
A translation from a LRAT proof into a Lean proof
Updated 2026-03-02 10:56:48 +01:00
Libors algorithm for solving CSP given by label cover instance.
Updated 2026-01-09 16:45:13 +01:00
Web visualizer for clones up to minion homomorphisms
Updated 2026-01-06 14:55:40 +01:00
Updated 2025-12-10 16:29:11 +01:00
Generate TOTP codes online using encrypted secret.
Updated 2025-10-31 10:29:10 +01:00