Mathematical Dependency Interface: 3D Dependency Viewer for Lean 4
A fast 3D explorer for Lean 4 and mathlib dependency graphs.
Data-visualization
Information Dashboard Design: The Effective Visual Commmunication of Data
By Stephen Few · Currently reading
Pobres porque quieren: Mitos de la desigualdad y la meritocracia (Spanish Edition)
By Máximo E. Jaramillo Molina · Read · 5/5
The Art of Insight : How Great Visualization Designers Think
By Alberto Cairo · Currently reading
Laws of UX: Using Psychology to Design Better Products & Services
By Jon Yablonski · Read · 5/5
Data Feminism
By Catherine D’Ignazio · Read · 5/5
Storytelling with Data: A Data Visualization Guide for Business Professionals
By Cole Nussbaumer Knaflic · Read · 4/5
Musical Moods: Musical Sentiment Network Analysis
An interactive graph of relationships between musical emotions.