Mathematical Dependency Interface: 3D Dependency Viewer for Lean 4
A fast 3D explorer for Lean 4 and mathlib dependency graphs.
Open-Source
IMCINE CineMX Yearbook: Open and Historical Dataset
A reproducible preservation pipeline for Mexican film-history datasets.
Musical Moods: Musical Sentiment Network Analysis
An interactive graph of relationships between musical emotions.