Rui Barreiro (@rbarreiro)
github

rbarreiro

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    54
  • Global Rank 323,221 (Top 12 %)
  • Followers 13
  • Registered almost 15 years ago
  • Most used languages
    Idris     100.0 %
  • Location πŸ‡΅πŸ‡Ή Portugal
  • Country Total Rank 1,089
  • Country Ranking
    Idris     1

Top repositories

1

idrisjs

Js libraries for idris
Idris
48
star
2

ifui

Idris libraries to create user interfaces
Idris
5
star