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 ;)

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

exposition Fine la passeuse, Joséphine Pétton

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

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

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

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

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.