Antonio Bruto da Costa

@antoniobruto

🇬🇧 Birmingham

University of Warwick

Profile age: over 8 years

Updated 15 days ago

1 followers • 5 following

No rank yet! You'll need 5 stars, 5 followers, or a merged PR in a 5★ repo to unlock your spot. You're just getting started - keep going!

N/A

Top 3 Languages By Stars

updated over 4 years ago • age over 5 years

C++61.9%

SMT21.7%

C11.8%

OCaml3.3%

Yacc1.3%

Subscribe to antoniobruto's GitHub rank updates in your messenger