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
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%
Contributions
2024
doomemacs
1 PR
+1
-1
Emacs Lisp
21,193
3,132
cornelis
1 PR
+15
-13
Haskell
168
24
