Rankings
Badges
/
dlicata335
Rankings
Badges
Overview
Ranks
Repositories
Languages
Dan Licata
@dlicata335
Refresh
Open GitHub
null
Profile age: over 13 years
Updated 1 day ago
143 followers • 0 following
Contacts
dlicata335@hotmail.com
dlicata.web.wesleyan.edu
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Influencer
#169,213
#1,402,406
#79,798
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
hott-agda
84
6
updated about 8 years ago • age over 13 years
Agda
68.9%
TeX
30.4%
HTML
0.6%
PostScript
0.1%
Shell
0.0%
cart-cube
71
4
updated over 4 years ago • age almost 8 years
Agda
100.0%
cubicalexperiments
6
3
updated over 8 years ago • age over 8 years
papers
1
0
updated over 12 years ago • age almost 13 years
codepenent
0
0
updated over 9 years ago • age over 9 years
TeX
100.0%
Last Contributions
2024
cs-pui.github.io-archive
1 PR
+17
-0
HTML
17
99
2022
HoTTEST-Summer-School
2 PRs
+1,317
-54
TeX
315
73
2015
cubicaltt
2 PRs
+488
-212
Haskell
593
75
1
View all contributions
Latest Updates
15 Nov 2025
Followers Count:
142
143
05 Sep 2025
Followers Count:
141
142
05 Jan 2025
First seen
Subscribe to dlicata335's GitHub rank updates in your messenger
WhatsApp
Telegram
