TermDraft: A Local-First Markdown Editor for the Terminal
A local-first, keyboard-first Markdown editor that runs entirely in the terminal.
Open-source
Bicicletas GDL: MiBici Trip Visualization for June 2026
An interactive map replay of 323,648 MiBici trips recorded during June 2026.
Mathematical Dependency Interface: 3D Dependency Viewer for Lean 4
A fast 3D explorer for Lean 4 and mathlib dependency graphs.
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.