Schippmunk

Johannes Schipp von Branitz's repositories

A python script that statically analyses assembly code for bufferoverflow vulnerabilities

Language:Python1 10

Implementation of a Boarder Gateway Protocol Algorithm on a graph structure in Promela

Language:Python010

An experimental library for Cubical Agda

Language:AgdaMIT000

A Java implementation of the Kaesekaestchen game

Language:Java000

My Manjaro i3 ricing files

Language:Vim Script010

Some Octave scripts to solve certain numerical problems

Language:MATLAB040

Language:JavaScriptMIT000

A latex scripture for an introductory lecture to stochastics

Language:TeX000