John Leo (@halfaya)
github

halfaya

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    63
  • Global Rank 290,063 (Top 10 %)
  • Followers 28
  • Registered about 11 years ago
  • Most used languages
    Agda     60.0 %
    TeX
         20.0 %
    Haskell
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 58,918
  • Country Ranking
    Agda     6
    TeX
         1,134
    Haskell
         1,740

Top repositories

1

MusicTools

Agda
40
star
2

BayHac

TeX
11
star
3

icfp2021

ICFP 2021 Music Video
4
star
4

CProto

Haskell
3
star
5

HoTTBook

Agda
2
star
6

Music

Agda
2
star
7

icfp2020

ICFP 2020 Music Video
1
star