Mitchell Riley (@mvr)
github

mvr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    138
  • Global Rank 159,018 (Top 6 %)
  • Followers 56
  • Following 78
  • Registered about 16 years ago
  • Most used languages
    Haskell
         55.6 %
    TeX
         33.3 %
    C
         11.1 %
  • Location 🇦🇪 United Arab Emirates
  • Country Total Rank 235
  • Country Ranking
    Haskell
         2
    TeX
         4
    C
         53

Top repositories

1

at

Effective Algebraic Topology in Haskell
Haskell
73
star
2

cf

"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
Haskell
39
star
3

jiggle

A(n abandoned) 2D soft body physics engine written in C with Ruby bindings.
C
5
star
4

operads

Modernised version of http://hackage.haskell.org/package/Operads
Haskell
5
star
5

rainbow

An experimental type-checker for dependent bunched implication
Haskell
3
star
6

cgt

Combinatorial Game Theory in Haskell
Haskell
3
star
7

refs

bibfiles
TeX
1
star
8

cf-talk

TeX
1
star
9

optics

TeX
1
star