Rankings
Badges
/
amerisrudland
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ameris Rudland
@amerisrudland
Refresh
Open GitHub
🇨🇦 Toronto
Profile age: over 9 years
Updated 11 days ago
3 followers • 3 following
Repositories
miniSRC
1
0
updated over 8 years ago • age over 8 years
Verilog
94.8%
Coq
5.2%
Contributions
