cycling-data-lab
- Montpellier, France
- https://github.com/cycling-data-lab
Popular repositories Loading
-
gbfs-audit-catalogue
gbfs-audit-catalogue PublicA reproducible audit of 1,509 GBFS bike-sharing feeds across 48 countries. 46-column reference dataset for 46,307 certified stations.
Python 1
-
od-lean
od-lean PublicMachine-checked Lean 4 / Mathlib formalisation of the GBFS OD identifiability bounds — formal-proof companion to gbfs-od-reconstruction (zero sorry).
Lean
-
sbf-lean
sbf-lean PublicMachine-checked Lean 4 / Mathlib formalisation of the universal spectral lower bound (Theorem 1) — formal-proof companion to structural-bounds-framework (zero sorry).
Lean
-
gbfs-toolkit
gbfs-toolkit PublicResearch-grade ingestion and semantic A1–A7 quality audit for GBFS bike-share feeds
Python
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.
cycling-data-lab/gbfs-audit-catalogue’s past year of commit activity - gbfs-toolkit Public
Research-grade ingestion and semantic A1–A7 quality audit for GBFS bike-share feeds
cycling-data-lab/gbfs-toolkit’s past year of commit activity - 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 sorry).
cycling-data-lab/sbf-lean’s past year of commit activity - od-lean Public
Machine-checked Lean 4 / Mathlib formalisation of the GBFS OD identifiability bounds — formal-proof companion to gbfs-od-reconstruction (zero sorry).
cycling-data-lab/od-lean’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…