Pinned Repositories
cubical
An experimental library for Cubical Agda
HoTTEST-Summer-School
HoTTEST Summer School materials
AssemblyStatAna
A python script that statically analyses assembly code for bufferoverflow vulnerabilities
BGPonGraph
Implementation of a Boarder Gateway Protocol Algorithm on a graph structure in Promela
cubical
An experimental library for Cubical Agda
Kaesekaestchen
A Java implementation of the Kaesekaestchen game
marice
My Manjaro i3 ricing files
NumerikOctaveScripts
Some Octave scripts to solve certain numerical problems
Schippmunk.github.io
StochastikSkript
A latex scripture for an introductory lecture to stochastics
Schippmunk's Repositories
Schippmunk/AssemblyStatAna
A python script that statically analyses assembly code for bufferoverflow vulnerabilities
Schippmunk/BGPonGraph
Implementation of a Boarder Gateway Protocol Algorithm on a graph structure in Promela
Schippmunk/cubical
An experimental library for Cubical Agda
Schippmunk/Kaesekaestchen
A Java implementation of the Kaesekaestchen game
Schippmunk/marice
My Manjaro i3 ricing files
Schippmunk/NumerikOctaveScripts
Some Octave scripts to solve certain numerical problems
Schippmunk/Schippmunk.github.io
Schippmunk/StochastikSkript
A latex scripture for an introductory lecture to stochastics