Jürgen Bergmann (@bergmannjg)
github

bergmannjg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 684,145 (Top 24 %)
  • Followers 3
  • Registered over 9 years ago
  • Most used languages
    Lean     60.0 %
    F#
         40.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 60,271
  • Country Ranking
    Lean     7
    F#
         63

Top repositories

1

leanCurl

Lean 4 bindings to libcurl
Lean
7
star
2

time

Port of the haskell time library to Lean 4
Lean
4
star
3

regex

A PCRE2 compatible regular expression engine written in Lean 4.
Lean
3
star
4

fshafas

Port of the JavaScript hafas-client library to F#, a client for the HAFAS public transport api
F#
2
star
5

RInfData

Access the Register of Railway Infrastructure database
F#
1
star