Rankings
Badges
/
wkrozowski
Rankings
Badges
Overview
Ranks
Repositories
Languages
Wojciech Różowski
@wkrozowski
Refresh
Open GitHub
🇬🇧 London
@UCL-PPLV @leanprover
Profile age: about 7 years
Updated 11 days ago
51 followers • 39 following
Contacts
w.rozowski@cs.ucl.ac.uk
wkrozowski.github.io
Repositories
MarieCurry
1
0
updated over 5 years ago • age over 5 years
Haskell
69.7%
Yacc
19.0%
Logos
9.2%
Vim Script
2.2%
HackTheHouse
1
2
updated over 6 years ago • age over 6 years
CSS
59.8%
C++
19.2%
JavaScript
14.0%
HTML
4.9%
Python
2.1%
sushi2
0
0
updated over 6 years ago • age over 6 years
Java
100.0%
dub-dragon
0
0
updated over 3 years ago • age over 3 years
JavaScript
97.3%
HTML
2.7%
Contributions
2025
lean4
2 PRs
+2,655
-89
Lean
6,572
677
92
LeroyCompilerVerificationCourse
~8 PRs
+224
-34
Lean
9
2
