generates self-verifying digital ob3ects
Zeitzonen und Sommerzeit gemessen statt nachgeschlagen: Umstellungen sekundengenau, Tage mit 23 und 25 Stunden, Uhrzeiten die es nicht gibt. Eine einzelne HTML-Datei.
Vier interaktive Blätter über Struktur, die aus lokalen Regeln fällt: Wave Function Collapse, Wellengleichung, Physarum, Lenia. Je eine self-contained HTML-Datei, keine Abhängigkeiten.
Sammelseite: fuenfzehn eigenstaendige Blaetter, je eine HTML-Datei mit eingebautem Prueflauf
Wahlverfahren nachgerechnet: drei Sieger aus einem Stapel, Condorcet-Zyklus, Alabama-Paradox
Jede Weltkarte luegt, nur verschieden: Kartenprojektionen mit gemessener Flaechen- und Winkelverzerrung
Pruefstand fuer Zufallsgeneratoren im Browser: Chi-Quadrat, Korrelation, Gitterfuellung - und ein drehbarer Wuerfel, in dem RANDU als 15 Ebenen sichtbar wird.
IEEE 754 zum Anfassen: Bitfeld, exakte Dezimalentwicklung per BigInt, Abstaende der darstellbaren Zahlen und ein Messgeraet fuer Summationsfehler. Eine einzelne HTML-Datei.
B+-Baum mit gezaehlten Seitenzugriffen: Index gegen vollstaendigen Durchlauf, und wo der Planer irrt
41 Jahre Heiz- und Kuehlgradtage fuer Wien, Graz und Innsbruck aus ERA5-Tagestemperaturen. Eine einzelne HTML-Datei.
Kompression von Grund auf: LZ77 und Huffman im Browser, mit einer Karte, die zeigt, was jedes Zeichen eines Textes an Bits kostet.
Safety-first, offline-first autonomous coding agent with a zero-dependency core - guarded writes (critique, verify, rollback), learns from its own history, works with any LLM or fully local.
Elliptische Kurven zum Anfassen: Punktaddition, Diffie-Hellman und secp256k1 in einer HTML-Datei
A self-verifying agentic loop harness: THINK→ACT→OBSERVE→UPDATE with Frobenius-closed tool calls
Akkordsymbole zu MIDI mit gefuehrten Stimmen - Voicings mit kuerzesten Wegen, MIDI von Hand geschrieben, ohne Bibliothek.
Dijkstra, A* und Verwandte auf einer bemalbaren Karte - mit jedem angefassten Feld sichtbar
Verifiable AI-build governance you run on yourself — four modules (autonomy gate, build discipline, model fitness, code review) that prove themselves with one offline command. Stdlib-only, no install. Part of the Proof family.
FFT von Hand, sechs Fensterfunktionen, Leckeffekt und Aliasing - gegen Harris (1978) geprueft
Reed-Solomon von Grund auf im Browser: einen Datenblock zerschiessen und zusehen, wie er sich repariert - und messen, wo die Garantie aufhoert.
Ein Computer aus NAND-Gattern im Browser: Rechenwerk, Decoder und Maschine von unten gebaut, erschoepfend geprueft, bis aufs einzelne Gatter sichtbar.
Add a description, image, and links to the self-verifying topic page so that developers can more easily learn about it.
To associate your repository with the self-verifying topic, visit your repo's landing page and select "manage topics."