This is your work, valued

Germany

Jürgen Bergmann

Advanced
@bergmannjg

regex. A PCRE2 compatible regular expression engine written in Lean 4.

20

leanCurl. Lean 4 bindings to libcurl

14

time. Port of the haskell time library to Lean 4 and verification of date calculations

6

fshafas. Port of the JavaScript hafas-client library to F#, a client for the HAFAS public transport api

3

RInfData. Access the SPARQL endpoint of the European Union Agency for Railways

2