This profile contains old projects (and occasional forks for PRs). My newer repositories can be found on: https://gitlab.com/aergus
-
-
sHoTT Public
Forked from rzk-lang/sHoTTFormalisations for simplicial HoTT and synthetic ∞-categories.
Markdown UpdatedOct 22, 2023 -
sseq Public
Forked from SpectralSequences/sseqA fork of the SpectralSequences project for PRs
Rust Apache License 2.0 UpdatedJul 1, 2023 -
-
-
-
slides about a network monitoring project for a Freifunk network (in German, cf. collectd-batman-adv)
TeX UpdatedNov 28, 2014 -
SoAk14-ETQFT Public
Forked from cburgard/SoAk14-ETQFTsummary of a course on extended topological quantum field theories (in German)
TeX UpdatedSep 10, 2014 -
-
U23_2013_examples Public
Forked from cccc/U23_2013_examplesU23 2013 example projects
C UpdatedNov 25, 2013 -
N0.003 Public
notes for a reading course on analysis, linear algebra and algorithmic mathematics (in German)
2 UpdatedJul 12, 2013