Rankings
Badges
/
wjzz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Wojciech Jedynak
@wjzz
Refresh
Open GitHub
🇵🇱 Poland
Profile age: almost 16 years
Updated 7 days ago
17 followers • 5 following
Profile Overview
Global
Poland
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 4
Persona
Creator
#438,484
N/A
#815,264
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Agda-reflection-for-semiring-solver
12
1
updated over 13 years ago • age over 13 years
Agda-Representing-Monads
8
0
updated about 14 years ago • age over 14 years
agda-DTP-examples
7
1
updated almost 14 years ago • age about 14 years
Agda-small-developments-and-examples
7
1
updated about 13 years ago • age about 14 years
Coq
100.0%
Agda-mode-improvements
5
0
updated about 14 years ago • age over 14 years
Emacs Lisp
63.9%
Haskell
36.1%
Latest Updates
26 Sep 2025
Followers Count:
18
17
13 Aug 2025
Followers Count:
17
18
04 Jan 2025
First seen
Subscribe to wjzz's GitHub rank updates in your messenger
WhatsApp
Telegram
