Rankings
Badges
/
iwashis
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tomasz Brengos
@iwashis
Refresh
Open GitHub
🇵🇱 Warsaw, Poland
Profile age: over 6 years
Updated about 1 month ago
22 followers • 14 following
Profile Overview
Global
Poland
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Contributor
#1,200,013
#491,000
#656,006
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
DM1_MiNICS
5
7
updated 5 months ago • age 9 months
TeX
98.4%
Makefile
1.6%
formverif2024
1
0
updated over 1 year ago • age over 1 year
Agda
100.0%
cornelis
0
0
updated about 1 year ago • age about 1 year
Haskell
54.7%
Vim Script
43.8%
Nix
1.2%
Agda
0.4%
goalacritty-theme-changer
0
0
updated about 1 year ago • age over 1 year
Go
100.0%
leanmath
0
0
updated over 1 year ago • age over 1 year
Lean
100.0%
Last Contributions
2024
doomemacs
1 PR
+1
-1
Emacs Lisp
21,193
3,132
cornelis
1 PR
+15
-13
Haskell
168
24
View all contributions
Latest Updates
02 Sep 2025
Followers Count:
21
22
15 Aug 2025
Followers Count:
20
21
17 Jan 2025
First seen
Subscribe to iwashis's GitHub rank updates in your messenger
WhatsApp
Telegram
