exposition

Implementation of the text exposition format of OpenMetrics

Small projects, Notes, resources and stuff

The challenge is to celebrate the data visualization legacy of W.E.B Du Bois by recreating the visualizations from the 1900 Paris Exposition using modern tools. This repo uses R programming ⛏️ to recreate his work.

Article and narrated film on the Poincaré conjecture: the Hamilton–Perelman proof by Ricci flow with surgery, and what its Lean 4 formalization checks

Article and narrated film on Simon's Problem 1: extended states and absolutely continuous spectrum in the Anderson model, OpenAI's claimed proof, and what its Lean 4 formalization checks

Trabajo final de la asignatura Introducción a la Ingeniería del Software.

Bienvenue sur mon premier site web, entièrement conçu par moi-même ! Ce projet est le résultat final de ma formation chez B-Tech. Découvrez ici le fruit de mes efforts, de la conception à la réalisation, dans le cadre de mon parcours de formation. Restez à l'écoute pour des améliorations futures du site ;)

This is the Backend of Exhibition3D project : A plateform for orginizing 3D exhibitions with a gamified user expirience.

Prometheus metrics: counters, gauges, histograms and summaries in the text exposition format, and queries against the Prometheus HTTP API

Article and narrated film on the Jacobian conjecture: the 2026 counterexample in dimension three and every higher dimension, why the plane is still open, and what its Lean 4 formal records check

Site web d'exposition en ligne des peintures de Pascale Canal

Tools for writing three explanations of a mathematical result, with links from each paper to the computer-checked proof.

exposition Fine la passeuse, Joséphine Pétton

Article and narrated film on the Navier–Stokes Millennium problem: OpenAI's announced forced finite-time blowup (alternatives C and D), what its Lean 4 formalization states, and why A and B remain open

ЕДИНЫЙ СВОД архива rtynbirf: 41 репозиториев — каталог, 8 кластеров, конституции, программы, инварианты, дыры. Автономная HTML-экспозиция: один файл, ноль внешних запросов.

Язык сквозь эпохи — автономная HTML-экспозиция: семь способов мыслить язык (7 эпох × 7 гарнитур, эпистемические комментарии)

Эволюция Веба 1991→2026 — автономная HTML-экспозиция: 5 эпох, таймлайн, WCAG+APCA, один файл 267 КБ, ноль внешних запросов

Parse and serialize the Prometheus text format (0.0.4) and OpenMetrics 1.0. Accepts and rejects what Go's expfmt and the OpenMetrics test suite do.