Milo (@mikkelmilo)
github

mikkelmilo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 915,850 (Top 32 %)
  • Followers 3
  • Following 4
  • Registered over 9 years ago
  • Most used languages
    Go
         50.0 %
    Jupyter Notebook
         25.0 %
    Coq     25.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 3,077
  • Country Ranking
    Coq     13
    Go
         106
    Jupyter Notebook
         456

Top repositories

1

rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec
Coq
4
star
2

DSM-project

Two implementations of Distributed Shared Memory (DSM) systems; TreadMarks and MultiView
Go
4
star
3

Go-Turing-Machine

A Turing Machine implementation written in Go
Go
3
star
4

SOM-Clustering-Visualisations

Python implementation of visualisations of SOMs
Jupyter Notebook
1
star