Rankings
Badges
/
antoniobruto
Rankings
Badges
Overview
Ranks
Repositories
Languages
Antonio Bruto da Costa
@antoniobruto
Refresh
Open GitHub
🇬🇧 Birmingham
University of Warwick
Profile age: over 8 years
Updated 16 days ago
1 followers • 5 following
Contacts
cse.iitkgp.ac.in/~bdcaa
Repositories
ForFET2
1
0
3
updated over 4 years ago • age over 5 years
C++
61.9%
SMT
21.7%
C
11.8%
OCaml
3.3%
Yacc
1.3%
Contributions
