Rankings
Badges
/
m-bock
Rankings
Badges
Overview
Ranks
Repositories
Languages
Michael Bock
@m-bock
Refresh
Open GitHub
🇩🇪 Berlin
Profile age: over 9 years
Updated 11 days ago
42 followers • 23 following
Contacts
no-day@posteo.net
in/michael-bock-38086330a
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Germany
Advanced 3
Persona
Creator
#6,545
#20,272
#10,417
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
purescript-ts-bridge
50
2
11
updated 20 days ago • age about 3 years
PureScript
84.0%
JavaScript
14.1%
Nix
1.0%
Just
0.9%
purescript-fmt
20
0
updated about 2 years ago • age about 2 years
PureScript
100.0%
purescript-marionette
13
0
5
updated almost 3 years ago • age almost 3 years
PureScript
90.8%
Nix
6.2%
Dhall
3.0%
purescript-typelevel-regex
12
0
updated about 2 years ago • age about 2 years
PureScript
92.0%
JavaScript
8.0%
purescript-refinery
9
1
updated almost 6 years ago • age almost 6 years
PureScript
67.3%
Dhall
32.7%
View all 24 repositories
Last Contributions
2025
purescript-codec-argonaut
1 PR
+202
-51
PureScript
37
17
21
purescript-bifunctors
1 PR
+7
-0
PureScript
12
8
20
2024
servant
1 PR
+148
-7
Haskell
1,920
420
stackage
1 PR
+3
-0
Dockerfile
546
820
purescript-codec-argonaut
2 PRs
+927
-59
PureScript
37
17
21
View all contributions
Latest Updates
22 Oct 2025
Avatar:
changed
Social Accounts:
[object Object]
linkedin: in/michael-bock-38086330a
11 Aug 2025
Followers Count:
43
42
06 Jan 2025
First seen
Subscribe to m-bock's GitHub rank updates in your messenger
WhatsApp
Telegram
