Stars
b's .emacs.d, with configurations for OCaml, .NET, Coq/Proof General, and Rust
The Transit Operational Data Standard is an open standard for representing the transit schedules used by drivers, dispatchers, and planners to carry out transit operations.
Proving leftpad correct two-dozen different ways
Deep learning model for predicting public transit arrival times
Tracking the MBTA's new Orange, Red, and Green trains
A reading list for the modern critical programmer