Rankings
Badges
/
dybjer
Rankings
Badges
Overview
Ranks
Repositories
Languages
Peter Dybjer
@dybjer
Refresh
Open GitHub
🇸🇪 Göteborg, Sweden
Chalmers University of Technology
Profile age: over 7 years
Updated 2 days ago
18 followers • 0 following
Contacts
peterd@chalmers.se
http://www.cse.chalmers.se/~peterd/
Repositories
universe-polymorphism
5
0
updated 13 days ago • age over 6 years
TeX
60.1%
Agda
38.1%
BibTeX Style
0.8%
Rich Text Format
0.6%
Prolog
0.3%
Contributions
