Michael Norrish (@mn200)
github

mn200

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 649,619 (Top 23 %)
  • Followers 62
  • Following 1
  • Registered over 14 years ago
  • Most used languages
    Standard ML     66.7 %
    Perl
         33.3 %
  • Location πŸ‡¦πŸ‡Ί Australia
  • Country Total Rank 8,677
  • Country Ranking
    Standard ML     5
    Perl
         161

Top repositories

1

CFL-HOL

Theory of Context-Free Languages in HOL
Standard ML
7
star
2

JSON-SML

JSON parsing in SML (from SML/NJ's svn repo)
6
star
3

inspector-strategies

Verification of Inspector-style Compilations
Perl
2
star
4

Cplusplus

My C++ in HOL semantics
Standard ML
1
star