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