Dan Licata

@dlicata335

Open GitHub

null

Profile age: over 13 years

Updated 1 day ago

143 followers • 0 following

Contacts

dlicata335@hotmail.com

dlicata.web.wesleyan.edu

Repositories

hott-agda

updated about 8 years ago • age over 13 years

Agda68.9%

TeX30.4%

HTML0.6%

PostScript0.1%

Shell0.0%

cart-cube

updated over 4 years ago • age almost 8 years

Agda100.0%

cubicalexperiments

updated over 8 years ago • age over 8 years

papers

updated over 12 years ago • age almost 13 years

codepenent

updated over 9 years ago • age over 9 years

TeX100.0%

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