L. Läufer's repositories
alexhappy
Examples for the book “Alex and Happy”
Language:Logos000
emes_template
EMES Final Thesis Template
Language:TeXMIT000
Language:RustMIT000
ldgvnetworking
Label dependent dependent session types
Language:HaskellNOASSERTION000
LocaleSetup
Sets up locale.conf in a way I like it
Language:ShellMIT000
noMoreWrongRestoreForFirefox
Prevents Firefox from restoring after an OS restart, if automatic restoring is disabled
softLog
Logs CPU and RAM utilization of programs running under Linux
Language:PythonMIT000