Martin Obel Thomsen (@flamingoen)
github

flamingoen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,604,586 (Top 56 %)
  • Followers 2
  • Following 4
  • Registered over 10 years ago
  • Most used languages
    C++
         100.0 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 4,805
  • Country Ranking
    C++
         321

Top repositories

1

qspin

Qspin is a graphical interface written in Qt5 for the model checker SPIN initially made as a bachelor project at DTU
C++
4
star