Mathematical Dependency Interface: Modelador 3D de Dependencias para Lean 4
Un explorador 3D rápido de dependencias de Lean 4 y mathlib.
Open-source
IMCINE Anuario CineMX: Dataset Abierto e Histórico
Un pipeline reproducible para preservar datos históricos del cine mexicano.
Musical Moods: Análisis de Redes de Sentimiento Musical
Un grafo interactivo de relaciones entre emociones musicales.