John Leo

@halfaya

Open GitHub

🇺🇸 Bellevue, Washington

Halfaya Research

Profile age: almost 12 years

Updated 5 days ago

29 followers • 0 following

Contacts

http://halfaya.org/leo/

Organizations

Repositories

MusicTools

updated 10 months ago • age over 8 years

Agda81.0%

TeX11.7%

Haskell5.9%

Lean0.8%

QML0.6%

BayHac

updated about 8 years ago • age over 8 years

TeX90.9%

Haskell6.2%

Agda2.9%

icfp2021

updated over 4 years ago • age over 4 years

CProto

updated about 3 years ago • age almost 4 years

Haskell100.0%

HoTTBook

updated over 6 years ago • age about 8 years

Agda72.7%

Lean27.3%

icfp2020

updated over 2 years ago • age over 5 years

splash2021

updated about 4 years ago • age about 4 years

Contributions

2020
cubical
2 PRs +52-48
Agda
508
156
8
2018
agda
2 PRs +163-10
Haskell
2,730
387
14
plfa.github.io
1 PR +1-0
Agda
1,459
337
3