Thomas Carlsen's repositories
Coq-Equations
A function definition package for Coq
Language:CoqLGPL-2.1000
hello-world
jaamen... hallo
000
LaTeX-Preamble_and_Examples
A LaTeX preample for Computer Science handins (Danish and English) together with reverse-engineerable examples
Language:TeXMIT000
rtmpdump-lifesize
Use rtmpdump to download videos from vc.agrsci.dk (a server running LifeSize UVC Video Center)
Language:Python000