Michael Christensen (@mdko)
github

mdko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 22
  • Following 29
  • Registered about 12 years ago
  • Most used languages
    Haskell
         50.0 %
    Python
         50.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 305,304
  • Country Ranking
    Haskell
         3,146

Top repositories

1

attapl

Implementations of the various typecheckers and interpreters found in "Advanced Topics in Types and Programming Languages"
Haskell
1
star
2

PyRTL-Extras

My extra library of PyRTL fun
Python
1
star