Rankings
Badges
/
mietek
Rankings
Badges
Overview
Ranks
Repositories
Languages
Miëtek Bak
@mietek
Refresh
Open GitHub
null
Profile age: almost 16 years
Updated 1 day ago
293 followers • 0 following
Contacts
hello@mietek.io
https://mietek.io
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 4
Persona
Influencer
#25,800
#368,772
#33,227
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
sf
304
59
updated almost 5 years ago • age about 10 years
HTML
79.0%
Coq
19.2%
Makefile
0.9%
CSS
0.8%
JavaScript
0.1%
total-fp
187
12
updated over 6 years ago • age over 10 years
halcyon
Archived
169
20
updated over 6 years ago • age about 11 years
Shell
100.0%
haskell-on-heroku
Archived
131
16
updated over 6 years ago • age over 11 years
Shell
100.0%
charity-lang
114
8
updated over 6 years ago • age over 10 years
C
39.2%
Clean
27.4%
Standard ML
23.5%
C++
5.2%
xBase
4.8%
View all 38 repositories
Last Contributions
2024
1lab
1 PR
+1
-1
Agda
396
84
grothendieck-cern
2 PRs
+23
-23
64
5
fettnapf3000
1 PR
+1
-1
Python
12
4
agda-cli
2 PRs
+8
-6
JavaScript
2
1
2023
mame
3 PRs
+2,701
-63
C++
9,499
2,212
161
View all contributions
Latest Updates
18 Aug 2025
Followers Count:
294
293
04 Aug 2025
Followers Count:
295
294
21 Jul 2025
Followers Count:
294
295
07 Jul 2025
Followers Count:
293
294
05 Jan 2025
First seen
Subscribe to mietek's GitHub rank updates in your messenger
WhatsApp
Telegram
