Compiler Engineer with experience in AI models and data processing. Interested in formal verification.
C, C#, Python, Rust, Java, OCaml
TCAT third-party GTFS
https://github.com/yinnonsanders/tcat_gtfs
Scraped data from the TCAT website to build a usable specification of bus routes and schedules.