Joosep Jääger (@Soupstraw)
github

Soupstraw

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 17
  • Following 28
  • Registered over 10 years ago
  • Most used languages
    Haskell
         50.0 %
    Agda     50.0 %
  • Location 🇪🇪 Estonia
  • Country Ranking
    Agda     3
    Haskell
         16

Top repositories

1

agda-presentation

Agda
2
star
2

hafar

Affine arithmetic library for Haskell
Haskell
1
star