Scientific Software
Updated 6 months ago
Metatheory.jl
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)
Scientific Software · Peer-reviewed
Updated 6 months ago
llvm-opt-benchmark
An LLVM IR dataset for data-driven compiler optimization research
Updated 6 months ago
bachelor-thesis
My bachelor thesis, titled "Natural Language Pattern Matching for Natural Language Object Scenarios", written in Spring 2020 at the University of Kassel
Updated 6 months ago
https://github.com/compiler-campusminden/annotatedslides
Annotated slides for lecture "Compilerbau"
Updated 6 months ago
https://github.com/compiler-campusminden/cb-vorlesung-bachelor-w25
Lecture "Compilerbau" (B.Sc.) (Winter 2025/26)
Updated 6 months ago
https://github.com/compiler-campusminden/cpl-vorlesung-master-w25
Lecture "Concepts of Programming Languages" (M.Sc.) (Winter 2025/26)