Remco de Man (@RemcodM)
github

RemcodM

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 4
  • Registered about 11 years ago
  • Most used languages
    Shell
         50.0 %
    Isabelle     50.0 %
  • Location 🇳🇱 Netherlands
  • Country Total Rank 20,716
  • Country Ranking
    Isabelle     2
    Shell
         1,360

Top repositories

1

pearl000-files

Linux & macOS optimized files for Pearl 000 (Computer architecture) of Pearls of Computer Science, Bachelor Technical Computer Science, University of Twente, The Netherlands.
Shell
3
star
2

thesis-ecore-groove-formalisation

Code and digital materials that belong to the master thesis 'A formalisation of EMF by expressing Ecore as GROOVE graphs'
Isabelle
1
star