Popular repositories Loading

1. RaCUDA RaCUDA Public

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

   OCaml 10 4

2. PriML-lang PriML-lang Public

   Standard ML 7 3

3. examdomizer examdomizer Public

   Generation of exams from a template with a pool of questions

   OCaml 6 1

4. domainslib domainslib Public

   Forked from ocaml-multicore/domainslib

   Parallel Programming over Domains

   OCaml 1 1

5. smuller.github.io smuller.github.io Public

   JavaScript 1

6. stagemanagerbot stagemanagerbot Public

   Standard ML