Rankings
Badges
/
nomeata
Rankings
Badges
Overview
Ranks
Repositories
Languages
Joachim Breitner
@nomeata
Refresh
Open GitHub
🇩🇪 Freiburg, Germany
Lean FRO
Profile age: almost 16 years
Updated 11 days ago
614 followers • 1 following
Contacts
mail@joachim-breitner.de
http://www.joachim-breitner.de/
@nomeata@mastodon.online
@nomeata
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Influencer
#14,101
#38,511
#13,448
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
incredible
382
38
updated 7 months ago • age about 10 years
Haskell
42.8%
JavaScript
42.4%
HTML
12.0%
CSS
1.8%
Nix
1.0%
arbtt
337
37
updated over 1 year ago • age almost 12 years
Haskell
89.6%
HTML
5.7%
Inno Setup
3.5%
CSS
0.8%
JavaScript
0.3%
inspection-testing
189
29
updated 4 months ago • age almost 8 years
Haskell
100.0%
ghc-proofs
146
6
updated almost 7 years ago • age over 8 years
Haskell
100.0%
ghc-justdoit
125
4
updated about 3 years ago • age over 7 years
Haskell
100.0%
View all 71 repositories
Last Contributions
2025
nixpkgs
1 PR
+0
-2
Nix
21,904
16,817
lean4
~161 PRs
+274
-79
Lean
6,395
661
91
stackage
1 PR
+0
-1
Dockerfile
546
822
equational_theories
1 PR
+1
-0
Lean
421
86
3
doc-gen4
1 PR
+1
-1
Lean
103
52
View all contributions
Latest Updates
18 Sep 2025
Followers Count:
616
614
04 Sep 2025
Followers Count:
618
616
21 Aug 2025
Followers Count:
617
618
07 Aug 2025
Followers Count:
614
617
24 Jul 2025
Followers Count:
616
614
02 Jan 2025
First seen
Subscribe to nomeata's GitHub rank updates in your messenger
WhatsApp
Telegram
