Heinrich Apfelmus

@HeinrichApfelmus

Open GitHub

Leipzig

Profile age: over 14 years

Updated about 17 hours ago

245 followers • 7 following

Contacts

apfelmus@quantentunnel.de

http://apfelmus.nfshost.com

Profile Overview

Global Rank

Elite 4

Persona

Creator

#20,469

#984,516

#41,408

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

reactive-banana

533

updated 9 months ago • age over 14 years

Haskell86.3%

TeX13.0%

Makefile0.7%

threepenny-gui

483

updated 19 days ago • age almost 14 years

Haskell90.9%

JavaScript6.2%

CSS1.2%

HTML1.1%

Nix0.7%

hyper-haskell

373

updated about 2 months ago • age about 9 years

JavaScript60.3%

Haskell27.7%

HTML5.1%

Nix4.2%

CSS2.7%

david-cope-cmmc

141

updated about 11 years ago • age about 11 years

Common Lisp100.0%

operational

updated over 1 year ago • age about 14 years

Haskell100.0%

View all 11 repositories

Last Contributions

2025
cardano-wallet
~9 PRs +347-123
Haskell
807
226
80
MicroHs
1 PR +26-0
Haskell
605
53
agda2hs
~9 PRs +471-234
Agda
192
43
formal-ledger-specifications
~10 PRs +736-184
Agda
45
18
cardano-haskell-packages
3 PRs +1,503-0
Shell
36
31

View all contributions

Latest Updates

28 Sep 2025
Followers Count:244 245
13 Sep 2025
Starred Repositories Count:114 115
16 Aug 2025
Followers Count:243 244
02 Aug 2025
Followers Count:244 243
19 Jul 2025
Followers Count:242 244
04 Jan 2025
First seen

Subscribe to HeinrichApfelmus's GitHub rank updates in your messenger

WhatsApp Telegram

Heinrich Apfelmus