Michel Steuwer's Projects
Articles about CK
The Brown Benchmark for Table Types (B2T2)
CGO Tools and Languages Mentoring Workship
Artifact Evaluation website for PPoPP, CGO, ADAPT, RTSS, PACT and SC in the Collective Knowledge Format:
OpenCL Advanced Profiling Toolkit (Clap-tk) is an easily extendable profiler for OpenCL applications. Once built, it can be pre-loaded when running an OpenCL application to generate an execution profile
A web app for ranking computer science departments according to their research output in selective venues.
Curriculum vitae of Michel Steuwer
A docker container with r and ggplot2 installed
A docker container with Scala and OpenCL installed
A docker container with texlive installed
Source files for the Pester website.
💡 CLI tool to input and store your ideas without leaving the terminal
Benchmark for generic matrix-matrix multiplication (GEMM)
Source of my homepage at the University of Edinburgh
ICFP 2020 papers. Crowd-sourced
A table library for Idris 2
Michel Steuwer's README
My GitHub Page
Minimal is a Jekyll theme for GitHub Pages
"Multi-Level Intermediate Representation" Compiler Infrastructure
My neovim config files
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
TeX source of my PhD thesis