Nuno Macedo (@nmacedo)
github

nmacedo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 12
  • Registered almost 12 years ago
  • Most used languages
    Alloy     50.0 %
    Python
         50.0 %
  • Location 🇵🇹 Portugal
  • Country Total Rank 6,675
  • Country Ranking
    Alloy     2
    Python
         2,007

Top repositories

1

HAMSTERS-Alloy

Formalisation of HAMSTERS task models in Alloy.
Alloy
1
star
2

haros_plugin_mc

Python
1
star