Rankings
Badges
/
MangoIV
Rankings
Badges
Overview
Ranks
Repositories
Languages
@MangoIV
Refresh
Open GitHub
🇩🇪 Germany
@well-typed
Profile age: over 7 years
Updated 1 day ago
107 followers • 76 following
Contacts
https://mangoiv.com
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Germany
Master 5
Persona
Contributor
#3,591
#2,176
#3,726
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
dracuLad
223
18
updated over 1 year ago • age about 5 years
Makefile
100.0%
le_chiff_ble
52
6
updated almost 2 years ago • age over 4 years
cabal-audit
27
3
1
updated 6 months ago • age over 1 year
Haskell
73.7%
Nix
26.3%
space_ginny
21
0
updated about 5 years ago • age about 5 years
cheap_boi
Archived
14
1
updated almost 5 years ago • age over 5 years
HTML
100.0%
View all 12 repositories
Last Contributions
2025
nixpkgs
2 PRs
+24
-17
Nix
22,379
17,187
haskell-language-server
1 PR
+49
-27
Haskell
2,863
410
42
tiny-inline-diagnostic.nvim
1 PR
+7
-1
Lua
1,430
23
nixfmt
1 PR
+53
-33
Haskell
1,343
62
9
lsp
3 PRs
+265
-57
Haskell
405
99
20
View all contributions
Latest Updates
15 Nov 2025
Followers Count:
104
107
01 Nov 2025
Followers Count:
105
104
18 Oct 2025
Followers Count:
103
105
04 Oct 2025
Name:
Mango The Fourth (removed)
Company:
@well-typed
05 Sep 2025
Followers Count:
102
103
09 Jan 2025
First seen
Subscribe to MangoIV's GitHub rank updates in your messenger
WhatsApp
Telegram
