Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
A short article on Monads for the course "Programming Languages and Formal Methods" at "Hochschule für Technik Rapperswil (HSR)"
-
RITA is the Remote Interfacing Telemetry Agent, and she sees and hears everything!
-
A simple Arch Linux package hosting system
-
SELinux type enforcement rules for syncthing.
-
-
My private fork of the frontg8 message transport system
-
Official mirror of the Frontg8 client reference implementation
-
STL reference for the Prog3 finals
-
-
-
-
Official mirror of the Frontg8 server reference implementation
-
-
My "Identity Card"
-
-
-
-