Anders Mörtberg (@mortberg)
github

mortberg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    707
  • Global Rank 42,487 (Top 2 %)
  • Followers 184
  • Following 7
  • Registered about 13 years ago
  • Most used languages
    Haskell
         75.0 %
    Agda     25.0 %
  • Location 🇸🇪 Sweden
  • Country Total Rank 496
  • Country Ranking
    Agda     5
    Haskell
         5

Top repositories

1

cubicaltt

Experimental implementation of Cubical Type Theory
Haskell
569
star
2

yacctt

yacctt: Yet Another Cartesian Cubical Type Theory
Haskell
74
star
3

gen-cart

A Unifying Cartesian Cubical Set Model
Agda
33
star
4

AlgTop

Haskell library of algebraic topology
Haskell
23
star