cycling-data-lab

All

4 repositories

gbfs-audit-catalogue
Public
A reproducible audit of 1,509 GBFS bike-sharing feeds across 48 countries. 46-column reference dataset for 46,307 certified stations.
data-science audit open-data
data-science audit open-data catalogue reproducibility france bike-sharing zenodo data-quality gbfs
Python
•
Other
•0•1•0•1•Updated Jul 7, 2026Jul 7, 2026
gbfs-toolkit
Public
Research-grade ingestion and semantic A1–A7 quality audit for GBFS bike-share feeds
open-data transport bikeshare
open-data transport bikeshare mobility data-quality gbfs
Python
•
Other
•0•0•0•2•Updated Jul 1, 2026Jul 1, 2026
sbf-lean
Public
Machine-checked Lean 4 / Mathlib formalisation of the universal spectral lower bound (Theorem 1) — formal-proof companion to structural-bounds-framework (zero s…
Lean
•
Other
•0•0•0•1•Updated Jun 27, 2026Jun 27, 2026
od-lean
Public
Machine-checked Lean 4 / Mathlib formalisation of the GBFS OD identifiability bounds — formal-proof companion to gbfs-od-reconstruction (zero sorry).
lean4
lean4
Lean
•
Other
•0•0•0•1•Updated Jun 27, 2026Jun 27, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.