Fernando Antunez (@antuneza)
github

antuneza

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 1
  • Following 3
  • Registered about 13 years ago
  • Most used languages
    Shell
         50.0 %
    Idris     50.0 %
  • Location 🇭🇰 Hong Kong
  • Country Total Rank 3,190
  • Country Ranking
    Idris     3
    Shell
         290

Top repositories

1

vultr-startup

Minimal Vultr Startup Script for Debian 9 x64 Installation First Steps
Shell
1
star
2

tdd-idris-book-exercises

Solutions to Exercises in Type-Driven Development with Idris
Idris
1
star