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 12 days ago
614 followers • 1 following
Contacts
mail@joachim-breitner.de
http://www.joachim-breitner.de/
@nomeata@mastodon.online
@nomeata
Organizations
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%
udp-broadcast-relay
121
80
updated 2 months ago • age almost 12 years
C
87.2%
Roff
8.6%
Makefile
4.3%
gtk-vector-screenshot
106
8
updated almost 3 years ago • age over 13 years
C
92.5%
M4
5.0%
Makefile
2.5%
loogle
98
19
updated 15 days ago • age about 2 years
Lean
71.7%
Python
21.4%
HTML
4.1%
C
2.2%
Nix
0.6%
veggies
94
6
updated over 8 years ago • age over 8 years
Haskell
81.2%
C
15.2%
C++
1.9%
Shell
1.4%
M4
0.4%
gipeda
79
27
updated over 6 years ago • age over 10 years
Haskell
49.0%
JavaScript
22.5%
HTML
17.4%
Shell
7.0%
Perl
4.0%
Show more - 10 of 71 shown
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
548
821
equational_theories
1 PR
+1
-0
Lean
421
86
3
doc-gen4
1 PR
+1
-1
Lean
103
52
reference-manual
~10 PRs
+7,754
-438
Lean
80
38
13
bob2015
3 PRs
+11
-6
JavaScript
1
5
2024
nixpkgs
1 PR
+7
-13
Nix
21,904
16,817
lean4
~276 PRs
+761
-26
Lean
6,395
661
91
equational_theories
~26 PRs
+452
-19
Lean
421
86
3
Show more