Prenglis

Germany

Pinned Repositories

SetlCup
A LR-Parser-Generator for the programming language SetlX
Language:TeX20
Algorithms
my lecture notes and programs for the algorithms class
Language:TeX00
Analysis
The lecture notes and programs for my class on real analysis. This is very much work in progress!
Language:TeX00
fmde_mps
Meta Programming System for Fundamentals of Model-Driven Engineering
Language:Xtend00
mplan
heuristic approach to create acolyte schedule
Language:Ruby00
pyslimcurljqwget
Repository for Dockerimage pyslimcurljqwget
Language:Dockerfile00
tscs-typechecker
A simple environment for type checking simple languages as part of the TSCS course of Uni Paderborn
Language:Scala00
Algorithms
lecture notes for the algorithms class together with most of the programs
Language:Jupyter Notebook4222
Analysis
The lecture notes and programs for my class on real analysis. This is very much work in progress!
Language:TeX1213
TINF13AIBI-Kinect
Language:Python00

Prenglis's Repositories

Prenglis/SetlCup
A LR-Parser-Generator for the programming language SetlX
Language:TeX2 1 5
Prenglis/Algorithms
my lecture notes and programs for the algorithms class
Language:TeX
Prenglis/Analysis
The lecture notes and programs for my class on real analysis. This is very much work in progress!
Language:TeX
Prenglis/fmde_mps
Meta Programming System for Fundamentals of Model-Driven Engineering
Language:Xtend1 0
Prenglis/mplan
heuristic approach to create acolyte schedule
Language:Ruby
Prenglis/pyslimcurljqwget
Repository for Dockerimage pyslimcurljqwget
Language:Dockerfile
Prenglis/tscs-typechecker
A simple environment for type checking simple languages as part of the TSCS course of Uni Paderborn
Language:Scala