Repositories

Selected GitHub repositories, mostly for current research projects and courses I teach.

GitHub users

klaeufer klaeufer
klaeufer klaeufer klaeufer klaeufer klaeufer klaeufer

GitHub repositories

klaeufer/HOTLangBench klaeufer/HOTLangBench
lucproglangcourse/lucproglangcourse.github.io lucproglangcourse/lucproglangcourse.github.io
lucformalmethodscourse/lucformalmethodscourse.github.io lucformalmethodscourse/lucformalmethodscourse.github.io