michel-steuwer

I am a professor at TU Berlin, leading the Chair of Compilers and Programming Languages.

TU BerlinBerlin

Pinned Repositories

elevate
The implementation of the Elevate language
Language:Scala29 6 05
lift
The Lift programming language and compiler
Language:Scala210 19 520
About-CK
Articles about CK
Language:SCSS1 4 00
clap
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
Language:C1 4 01
phd-thesis
TeX source of my PhD thesis
Language:TeX3 3 00
presentations
Language:HTML2 4 00
publications
Research publications by me (Michel Steuwer), a research associate at the University of Edinburgh
Language:TeX1 3 00
systemF_in_Cpp
System F in modern C++
Language:C++2 4 01
typst-acmart
Typst template mimicking acmart latex class
6 3 01
shine
The Shine compiler for the RISE language
Language:Scala73 10 908

michel-steuwer's Repositories

michel-steuwer/typst-acmart
Typst template mimicking acmart latex class
6 3 01
michel-steuwer/phd-thesis
TeX source of my PhD thesis
Language:TeX3 3 00
michel-steuwer/presentations
Language:HTML2 4 00
michel-steuwer/systemF_in_Cpp
System F in modern C++
Language:C++2 4 01
michel-steuwer/About-CK
Articles about CK
Language:SCSS1 4 00
michel-steuwer/clap
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
Language:C1 4 01
michel-steuwer/sf
Introduction to programming language theory in Agda.
Language:HTML1 3 00
michel-steuwer/B2T2
The Brown Benchmark for Table Types (B2T2)
Language:TypeScript2 0
michel-steuwer/cgomentoring.github.io
CGO Tools and Languages Mentoring Workship
Language:HTML
michel-steuwer/container-project
Language:Rust2 0
michel-steuwer/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:Python3 0
michel-steuwer/cv
Curriculum vitae of Michel Steuwer
Language:TeX3 0
michel-steuwer/docker-ggplot2
A docker container with r and ggplot2 installed
Language:Shell3 0
michel-steuwer/docker-scala-opencl
A docker container with Scala and OpenCL installed
Language:Dockerfile2
michel-steuwer/docker-texlive
A docker container with texlive installed
Language:Dockerfile3 0
michel-steuwer/docs
Source files for the Pester website.
Language:JavaScript2 0
michel-steuwer/euclid-automation
Language:Python
michel-steuwer/eureka
💡 CLI tool to input and store your ideas without leaving the terminal
Language:Rust
michel-steuwer/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
2 0
michel-steuwer/idris2-table
Language:Idris
michel-steuwer/idris2-table-1
A table library for Idris 2
Language:Idris2 0
michel-steuwer/MarisaKirisame
2 0
michel-steuwer/michel-steuwer
Michel Steuwer's README
3 0
michel-steuwer/michel-steuwer.github.io
My GitHub Page
Language:SCSS3 01
michel-steuwer/mlir
"Multi-Level Intermediate Representation" Compiler Infrastructure
Language:C++3 0
michel-steuwer/PrimroseAE
Language:Rust2 0
michel-steuwer/rise-rust
Language:Rust
michel-steuwer/scala-open-letter.github.io
Language:Ruby2 0
michel-steuwer/tabular-types-as-rows
Expressing Tabular Types with Row-Types
Language:OCaml3 0
michel-steuwer/thorin2
The Higher ORder INtermediate representation - next gen