Rankings
Badges
/
mateuszbujalski
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mateusz Bujalski
@mateuszbujalski
Refresh
Open GitHub
null
Profile age: over 5 years
Updated 11 days ago
6 followers • 4 following
Repositories
jsonstar
1
0
updated almost 3 years ago • age over 5 years
F*
79.6%
F#
16.3%
PowerShell
4.2%
Contributions
2023
crime-report
1 PR
+6
-23
Haskell
5
4
restaumatic-api
1 PR
+9
-1
3
3
external-orders-api
1 PR
+2
-1
2
2
2022
composite
1 PR
+3
-3
Haskell
5
3
vcr-proxy
1 PR
+77
-20
Haskell
4
1
7
external-orders-api
2 PRs
+5
-3
2
2
haskell-opaleye
4 PRs
+2,851
-2,407
Haskell
0
0
2021
FStar
1 PR
+407
-121
F*
2,907
243
79
2020
FStar
~7 PRs
+126,944
-156,430
F*
2,907
243
79
