Giters
Stefan Muller (smuller)

smuller

Geek Repo

7

followers

0

following

0

stars

Location:Chicago, IL

Github PK Tool:Github PK Tool

Stefan Muller's repositories

examdomizer

Generation of exams from a template with a pool of questions

Language:OCamlLicense:GPL-3.0Stargazers:6Issues:0Issues:0

PriML-lang

Language:Standard MLLicense:GPL-3.0Stargazers:5Issues:1Issues:0

RaCUDA

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

Language:OCamlLicense:NOASSERTIONStargazers:5Issues:0Issues:0

cbv-icfp-2017

The Cult of the Bound Variable's 2017 ICFP Programming Contest entry

Language:Standard MLStargazers:0Issues:0Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gml-popl24-vm

Stargazers:0Issues:0Issues:0

logic-checker

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

prettyprint-lang

Language:OCamlStargazers:0Issues:0Issues:0

stagemanagerbot

Language:Standard MLStargazers:0Issues:0Issues:0