Share :

maurer

Matthew Maurer

@maurer

Refresh user

Last updated : 04:26PM UTC, Jun 17th 2021

152 - Rank 89 728 🌍

OCaml

Ranking:

World: 287 / 3227

2 repositories

#287
61

Rust

Ranking:

World: 2926 / 27091

4 repositories

#2926
54

Haskell

Ranking:

World: 1351 / 11059

9 repositories

#1351
29

Standard ML

Ranking:

World: 159 / 570

2 repositories

#159
3

C

Ranking:

World: 64763 / 151074

2 repositories

#64763
2

Agda

Ranking:

World: 255 / 349

1 repository

#255
1

Nix

Ranking:

World: 1045 / 1596

1 repository

#1045
1

Shell

Ranking:

World: 78676 / 135079

1 repository

#78676
1