Schippmunk

PhD Student at the University of Nottingham

Nottingham, United Kingdom

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda447 26 242136
HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX283 27 168
AssemblyStatAna
A python script that statically analyses assembly code for bufferoverflow vulnerabilities
Language:Python1 1 00
BGPonGraph
Implementation of a Boarder Gateway Protocol Algorithm on a graph structure in Promela
Language:Python0 1 00
cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
Kaesekaestchen
A Java implementation of the Kaesekaestchen game
Language:Java00
marice
My Manjaro i3 ricing files
Language:Vim script0 1 00
NumerikOctaveScripts
Some Octave scripts to solve certain numerical problems
Language:MATLAB0 4 00
Schippmunk.github.io
Language:JavaScript00
StochastikSkript
A latex scripture for an introductory lecture to stochastics
Language:TeX00

Schippmunk's Repositories

Schippmunk/AssemblyStatAna
A python script that statically analyses assembly code for bufferoverflow vulnerabilities
Language:Python1 1 00
Schippmunk/BGPonGraph
Implementation of a Boarder Gateway Protocol Algorithm on a graph structure in Promela
Language:Python0 1 00
Schippmunk/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
Schippmunk/Kaesekaestchen
A Java implementation of the Kaesekaestchen game
Language:Java00
Schippmunk/marice
My Manjaro i3 ricing files
Language:Vim script0 1 00
Schippmunk/NumerikOctaveScripts
Some Octave scripts to solve certain numerical problems
Language:MATLAB0 4 00
Schippmunk/Schippmunk.github.io
Language:JavaScript00
Schippmunk/StochastikSkript
A latex scripture for an introductory lecture to stochastics
Language:TeX00