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

Profile Overview

Global United States

Global Rank

Advanced 1

Persona

Creator

#319,029

#918,214

#484,221

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 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%

View all 7 repositories

Last 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

View all contributions

Latest Updates

05 Oct 2025
Followers Count:30 29
23 Aug 2025
Followers Count:29 30
06 Jan 2025
First seen

Subscribe to halfaya's GitHub rank updates in your messenger

WhatsApp Telegram