Frederik Hanghøj Iversen (@fredefox)
github

fredefox

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 307,272 (Top 11 %)
  • Followers 49
  • Following 49
  • Registered over 11 years ago
  • Most used languages
    Haskell
         80.0 %
    Agda     20.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,240
  • Country Ranking
    Agda     1
    Haskell
         48

Top repositories

1

cat

A formalization of category theory in cubical Agda
Agda
53
star
2

gitm

Haskell
1
star
3

mac

Forked from https://bitbucket.org/russo/mac-demo
Haskell
1
star
4

javalette

Haskell
1
star
5

spirograph

Haskell
1
star