FADoSS (@fadoss)
Guthub

fadoss

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Org. Rank 123,895 (Top 40 %)
  • Registered almost 5 years ago
  • Most used languages
    Python
         66.7 %
    SWIG     33.3 %
  • Location πŸ‡ͺπŸ‡Έ Spain
  • Country Total Rank 7,385
  • Country Ranking
    SWIG     1
    Python
         2,572

Top repositories

1

maude-bindings

Language bindings for Maude
SWIG
12
star
2

umaudemc

Unified Maude model-checking tool
Python
4
star
3

strat-examples

Examples of the Maude strategy language
Python
2
star