Rankings
Badges
/
Vtec234
Rankings
Badges
Overview
Ranks
Repositories
Languages
Wojciech Nawrocki
@Vtec234
Refresh
Open GitHub
🇺🇸 Pittsburgh, USA
Profile age: about 10 years
Updated 14 days ago
101 followers • 8 following
Contacts
wjnawrocki+gh@protonmail.com
https://voidma.in/
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Contributor
#1,018,670
#8,657
#118,681
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
xnfsat
5
1
updated over 4 years ago • age over 4 years
C
98.9%
Shell
1.1%
npm-widget
Archived
3
1
updated over 2 years ago • age over 3 years
Lean
59.5%
TypeScript
26.2%
TeX
9.6%
JavaScript
2.6%
ASL
2.0%
urban-robot
0
0
updated over 8 years ago • age over 8 years
Python
100.0%
lean4
0
0
2
updated about 1 year ago • age about 5 years
Lean
82.1%
C++
16.9%
CMake
0.5%
Nix
0.3%
Python
0.2%
vscode-lean4
0
0
updated almost 2 years ago • age over 4 years
TypeScript
95.0%
JavaScript
3.0%
CSS
1.6%
Lean
0.5%
View all 7 repositories
Last Contributions
2025
lean4
3 PRs
+107
-28
Lean
6,491
672
91
groupoid_model_in_lean4
2 PRs
+5,484
-1,927
Lean
31
9
Poly
2 PRs
+283
-239
Lean
22
8
2024
lean4
~8 PRs
+124
-91
Lean
6,491
672
91
vscode-lean4
~7 PRs
+6,238
-3,109
TypeScript
228
77
197
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
99
101
22 Aug 2025
Followers Count:
98
99
08 Aug 2025
Followers Count:
95
98
25 Jul 2025
Followers Count:
94
95
09 Jan 2025
First seen
Subscribe to Vtec234's GitHub rank updates in your messenger
WhatsApp
Telegram
