Pinned Repositories
DefinitelyTyped
The repository for high quality TypeScript type definitions.
FahrplanApp
Android App to get timetable information for public transportation
fshafas
Port of the JavaScript hafas-client library to F#, a client for the HAFAS public transport api
hafas-api-tsoa
Rest Api for hafas-client
hafas-client
JavaScript client for HAFAS public transport APIs.
hafas-jsonrpc-server
JSON-RPC server for hafas api
leanCurl
Lean 4 bindings to libcurl
regex
A PCRE2 compatible regular expression engine written in Lean 4.
RInfData
Access the Register of Railway Infrastructure database
bergmannjg's Repositories
bergmannjg/regex
A PCRE2 compatible regular expression engine written in Lean 4.
bergmannjg/fshafas
Port of the JavaScript hafas-client library to F#, a client for the HAFAS public transport api
bergmannjg/RInfData
Access the Register of Railway Infrastructure database
bergmannjg/DefinitelyTyped
The repository for high quality TypeScript type definitions.
bergmannjg/FahrplanApp
Android App to get timetable information for public transportation
bergmannjg/hafas-api-tsoa
Rest Api for hafas-client
bergmannjg/hafas-client
JavaScript client for HAFAS public transport APIs.
bergmannjg/hafas-jsonrpc-server
JSON-RPC server for hafas api
bergmannjg/leanCurl
Lean 4 bindings to libcurl
bergmannjg/railway-info-fsharp
F# clients for railway trip information
bergmannjg/time
Port of the haskell time library to Lean 4
bergmannjg/railwayroute-jsonrpc-server
bergmannjg/railwaytrip-to-railwayroute
Match the UIC station codes of trips with railway route numbers
bergmannjg/wikitext-template-parser
Parse wikitext Route diagram templates and compare with DB register of infrastructure