norskovsen

Java Developer at Jysk

JyskDenmark

Pinned Repositories

.emacs.d
My personal emacs settings, and the ones used in @emacsrocks
Language:Emacs Lisp0 2 00
auskematoical
Generate a ical file from AU skema HTML page to use in calendar program such as Google Calendar og iCal
Language:Python6 2 11
Blackboard-Scripts
Language:Python0 2 00
bspwm-scripts
Language:Python0 2 00
Dispositioner
Dispositioner til mundtlige eksamener i kurser på Datalogi fra Aarhus Universitet
Language:TeX2 2 01
dotfiles-work
Language:Shell00
Facebook-Comment-Chooser
Language:JavaScript0 2 00
fbtk
TK-navne på Facebook
Language:JavaScript00
Python-og-Pita-2020
Python workshop
Language:Python00
Y-Combinator-Impl
Different implementations of the Y-Combinator in modern programming languages
Language:Erlang0 2 01

norskovsen's Repositories

norskovsen/auskematoical
Generate a ical file from AU skema HTML page to use in calendar program such as Google Calendar og iCal
Language:Python6 2 11
norskovsen/Dispositioner
Dispositioner til mundtlige eksamener i kurser på Datalogi fra Aarhus Universitet
Language:TeX2 2 01
norskovsen/.emacs.d
My personal emacs settings, and the ones used in @emacsrocks
Language:Emacs Lisp0 2 00
norskovsen/Blackboard-Scripts
Language:Python0 2 00
norskovsen/bspwm-scripts
Language:Python0 2 00
norskovsen/dotfiles-work
Language:Shell00
norskovsen/Facebook-Comment-Chooser
Language:JavaScript0 2 00
norskovsen/fbtk
TK-navne på Facebook
Language:JavaScript00
norskovsen/Python-og-Pita-2020
Python workshop
Language:Python00
norskovsen/Y-Combinator-Impl
Different implementations of the Y-Combinator in modern programming languages
Language:Erlang0 2 01
norskovsen/LaTeX-Preamble
Language:TeX2 0
norskovsen/price_watcher
Language:Python
norskovsen/Python-og-Pita-2019
Python workshop
Language:Python
norskovsen/SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Language:Coq1 0
norskovsen/volumecontrol
Control the volume on Linux