Pinned Repositories
Amended-Datalogi
Coq-Equations
A function definition package for Coq
hello-world
jaamen... hallo
hotciv
LaTeX-Preamble_and_Examples
A LaTeX preample for Computer Science handins (Danish and English) together with reverse-engineerable examples
rtmpdump-lifesize
Use rtmpdump to download videos from vc.agrsci.dk (a server running LifeSize UVC Video Center)
rtmpdump-lifesize
Use rtmpdump to download videos from vc.agrsci.dk (a server running LifeSize UVC Video Center)
LudumDare34
hello-world2
My Life's Work - Please Fork
CarlsenSmart's Repositories
CarlsenSmart/Amended-Datalogi
CarlsenSmart/Coq-Equations
A function definition package for Coq
CarlsenSmart/hello-world
jaamen... hallo
CarlsenSmart/hotciv
CarlsenSmart/LaTeX-Preamble_and_Examples
A LaTeX preample for Computer Science handins (Danish and English) together with reverse-engineerable examples
CarlsenSmart/rtmpdump-lifesize
Use rtmpdump to download videos from vc.agrsci.dk (a server running LifeSize UVC Video Center)