PuzzleScript reimplementation in Lean, heavily vibe-coded (except Engine and its dependencies, State on JS side, showcase files)
Updated 2026-05-01 23:41:59 +02:00
Files for teaching Lean on Charles University
Updated 2026-04-28 13:05:59 +02:00
Python GTK application for editing and git-saving partially ordered sets
Updated 2026-04-25 22:43:04 +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
Cookie clicker with fast-growing hierarchy for ordinals below epsilon0.
Updated 2025-12-02 12:21:18 +01:00
Responsive web tablature using pure CSS
Updated 2025-11-02 15:02:30 +01:00
Generate TOTP codes online using encrypted secret.
Updated 2025-10-31 10:29:10 +01:00
Python GTK script for writing izentra image desctriptions.
Updated 2025-07-24 15:29:53 +02:00