Rankings
Badges
/
mboes
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mathieu Boespflug
@mboes
Refresh
Open GitHub
🇬🇷 Athens, Greece
@tweag
Profile age: almost 17 years
Updated 4 days ago
167 followers • 19 following
Contacts
@mathieu.social
in/mboes
u/mboes
Organizations
Profile Overview
Global
Greece
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Greece
Elite 2
Persona
Influencer
#473
#272
#103
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
hmk
15
3
updated almost 10 years ago • age over 16 years
Haskell
100.0%
cassette
12
0
1
updated about 2 months ago • age over 13 years
Haskell
95.3%
Nix
4.7%
dedukti
9
4
updated over 13 years ago • age over 16 years
Haskell
91.7%
Lua
6.0%
Shell
2.3%
haskell-src-exts-qq
Archived
9
7
updated almost 8 years ago • age over 15 years
Haskell
100.0%
choice
8
2
updated over 1 year ago • age almost 9 years
Haskell
100.0%
View all 11 repositories
Last Contributions
2025
walker
1 PR
+10
-35
Rust
2,097
78
290
2023
hackage-root-keys
1 PR
+22
-0
Standard ML
5
5
2022
liquidhaskell
4 PRs
+578
-1,606
Haskell
1,267
149
15
HaskellR
5 PRs
+304
-452
Haskell
585
43
6
2021
nickel
~8 PRs
+360
-50,664
Rust
2,744
108
27
View all contributions
Latest Updates
28 Oct 2025
Followers Count:
166
167
14 Oct 2025
Followers Count:
167
166
30 Sep 2025
Followers Count:
166
167
02 Sep 2025
Followers Count:
165
166
19 Aug 2025
Company:
@tweag
@tweag
Social Accounts:
bluesky: @mathieu.social
bluesky: @mathieu.social; linkedin: in/mboes; reddit: u/mboes
02 Jan 2025
First seen
Subscribe to mboes's GitHub rank updates in your messenger
WhatsApp
Telegram
