aergus
This profile contains old projects (and occasional forks for PRs). My newer repositories can be found on: https://gitlab.com/aergus
EPFLLausanne
Pinned Repositories
aab-icfp-2014
team AAB's code for ICFP contest 2014
aergus.github.io
redirecting to aergus.net
collectd-batman-adv
a batman-adv plugin for collectd
dockerfiles
N0.003
notes for a reading course on analysis, linear algebra and algorithmic mathematics (in German)
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
SoAk14-ETQFT
summary of a course on extended topological quantum field theories (in German)
spot
a 2048 clone
sseq
A fork of the SpectralSequences project for PRs
u23-projekt-netzwerk-monitoring-slides
slides about a network monitoring project for a Freifunk network (in German, cf. collectd-batman-adv)
aergus's Repositories
aergus/dockerfiles
aergus/collectd-batman-adv
a batman-adv plugin for collectd
aergus/spot
a 2048 clone
aergus/aab-icfp-2014
team AAB's code for ICFP contest 2014
aergus/aergus.github.io
redirecting to aergus.net
aergus/N0.003
notes for a reading course on analysis, linear algebra and algorithmic mathematics (in German)
aergus/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
aergus/SoAk14-ETQFT
summary of a course on extended topological quantum field theories (in German)
aergus/sseq
A fork of the SpectralSequences project for PRs
aergus/u23-projekt-netzwerk-monitoring-slides
slides about a network monitoring project for a Freifunk network (in German, cf. collectd-batman-adv)
aergus/U23_2013_examples
U23 2013 example projects