Jakob Demler (@JDemler)
github

JDemler

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    111
  • Global Rank 192,289 (Top 7 %)
  • Followers 20
  • Following 17
  • Registered over 9 years ago
  • Most used languages
    Rust
         100.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 9,786
  • Country Ranking
    Rust
         280

Top repositories

1

BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Rust
110
star
2

rust-iso-3166-2

Rust
1
star