Stefan Muller (@smuller)
github

smuller

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 8
  • Registered over 12 years ago
  • Most used languages
    OCaml
         66.7 %
    Standard ML     33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 145,420
  • Country Ranking
    Standard ML     59
    OCaml
         244

Top repositories

1

RaCUDA

The artifact for Muller and Hoffmann's POPL 2021 paper "Modeling and Analyzing Evaluation Cost of CUDA Kernels"
OCaml
8
star
2

examdomizer

Generation of exams from a template with a pool of questions
OCaml
6
star
3

PriML-lang

Standard ML
5
star