generates self-verifying digital ob3ects
Nim mit beweisbarer Gewinnformel und Tic-Tac-Toe vollstaendig geloest: Minimax, Alpha-Beta und ein Prueflauf, der die Theorie erschoepfend nachrechnet
41 Jahre Heiz- und Kuehlgradtage fuer Wien, Graz und Innsbruck aus ERA5-Tagestemperaturen. Eine einzelne HTML-Datei.
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.
Zwei Pendel, ein Bit Unterschied: Lyapunov-Exponent gemessen, Vorhersagehorizont ausgerechnet, Integratoren verglichen
Eine kleine Sprache vom Zeichen bis zur laufenden Maschine: Lexer, Pratt-Parser, Bytecode, Stapelmaschine mit Schritt-Debugger
Fachwerk mit wandernder Last: Stabkraefte aus dem Knotengleichgewicht, Einflusslinien, Nullstaebe
Der Regenbogen aus Strahlengaengen: Brechung, Fresnel, der Winkel als Extremum, Alexanders dunkles Band - und ein Himmel aus 256000 gespurten Strahlen
Needleman-Wunsch und Smith-Waterman zum Zusehen: Matrix, Rueckweg und der Beweis gegen alle Ausrichtungen
Elliptische Kurven zum Anfassen: Punktaddition, Diffie-Hellman und secp256k1 in einer HTML-Datei
Jede Weltkarte luegt, nur verschieden: Kartenprojektionen mit gemessener Flaechen- und Winkelverzerrung
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.
B+-Baum mit gezaehlten Seitenzugriffen: Index gegen vollstaendigen Durchlauf, und wo der Planer irrt
Kompression von Grund auf: LZ77 und Huffman im Browser, mit einer Karte, die zeigt, was jedes Zeichen eines Textes an Bits kostet.
Wahlverfahren nachgerechnet: drei Sieger aus einem Stapel, Condorcet-Zyklus, Alabama-Paradox
Pruefstand fuer Zufallsgeneratoren im Browser: Chi-Quadrat, Korrelation, Gitterfuellung - und ein drehbarer Wuerfel, in dem RANDU als 15 Ebenen sichtbar wird.
Das wiederholte Gefangenendilemma: zehn Strategien im Rundenturnier, Rauschen, Evolution - und die Einladungsschwelle gemessen gegen ihre Herleitung
IEEE 754 zum Anfassen: Bitfeld, exakte Dezimalentwicklung per BigInt, Abstaende der darstellbaren Zahlen und ein Messgeraet fuer Summationsfehler. Eine einzelne HTML-Datei.
Annuitaet, Tilgungsplan und Effektivzins zum Ansehen: Zins gegen Tilgung, Sondertilgung, drei Kreditarten, alles auf den Cent nachgerechnet
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.
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."