Michalis Kokologiannakis (@michaliskok)
github

michaliskok

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,277,620 (Top 45 %)
  • Followers 12
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    OCaml
         50.0 %
    C
         50.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 42,777
  • Country Ranking
    OCaml
         60
    C
         3,203

Top repositories

1

rcu

Systematic Testing of the Read-Copy-Update (RCU) mechanism
C
4
star
2

tonyc

A compiler for the language Tony
OCaml
2
star