Rankings
Badges
/
mpenciak
Rankings
Badges
Overview
Ranks
Repositories
Languages
Matej Penciak
@mpenciak
Refresh
Open GitHub
🇺🇸 New York City
Reilabs
Profile age: almost 4 years
Updated 13 days ago
23 followers • 6 following
Contacts
mpenciak.net
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Influencer
N/A
#1,252,663
#619,008
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
FFaCiL
1
0
updated over 1 year ago • age over 2 years
Lean
100.0%
symplectic_groups
0
1
updated over 3 years ago • age over 3 years
Lean
100.0%
FFI_test
0
0
updated about 3 years ago • age about 3 years
Makefile
43.1%
Lean
35.5%
C
21.4%
arecibo
0
0
updated over 1 year ago • age about 2 years
Rust
99.8%
Just
0.2%
ZKSnark.lean
Archived
0
0
updated over 3 years ago • age over 3 years
TeX
37.4%
CSS
23.1%
Lean
22.0%
Python
10.0%
HTML
7.6%
View all 6 repositories
Last Contributions
2025
proven-zk
2 PRs
+44
-47
Lean
39
5
7
lampe
~42 PRs
+4,929
-5,657
Lean
34
4
2024
lurk
2 PRs
+1,510
-614
Rust
145
17
arecibo
3 PRs
+2,643
-229
Rust
86
38
Plonky3
3 PRs
+81
-66
Rust
3
0
View all contributions
Subscribe to mpenciak's GitHub rank updates in your messenger
WhatsApp
Telegram
