Pinned Repositories
BACnetSim
A scala BACnet simulator using bacnet4J
cctrack
Adaptive Low-Level Packet Sampling for High-Speed Networks
dump-x86_64-pagetable
Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.
encryption-is-not-integrity
Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
kant
Kategorischer Imperativ in Isabelle/HOL (experimental)
net-network
Public collection of firewall dumps.
telnet-password-honeypot
A simple telnet server that prompts users for a password and stores it in a file.
topoS
wasm-fizzbuzz
WebAssembly from Scratch: From FizzBuzz to DooM.
diekmann's Repositories
diekmann/net-network
Public collection of firewall dumps.
diekmann/BACnetSim
A scala BACnet simulator using bacnet4J
diekmann/dump-x86_64-pagetable
Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.
diekmann/cctrack
Adaptive Low-Level Packet Sampling for High-Speed Networks
diekmann/fancy-octo-fropnicator
Simple tool to convert LaTeX generate pdt to a plain .txt file. Used to apply spelling and grammar checking by e.g. microsoft word
diekmann/python_tcpdump
a stdin parser for tcpdump. HACKY!
diekmann/isabelle-brainfuck
the famous brainfuck language implemented in the famous isabelle theorem prover
diekmann/isabelle_awesome_tac
diekmann/tum-manpages
manpages of folks at TUM
diekmann/AutoGOLE-Topologies
Topologies for the Automated GOLE project
diekmann/brainfuck
Brainfuck interpreter written in C.
diekmann/C_MemoryManagementManager
A simple manager for memory management in C. Scaling C to enterprise quality!
diekmann/fixed-topos-header-space-analysis
diekmann/hsseccomp
Bindings to libseccomp
diekmann/pdfs
papers and presentations
diekmann/RFC3526_reproduce
Check that the RFC 3526 formulas for the primes reproduce the prime given in binary
diekmann/rusty-container
[draft] minimal containers (only namespaces, no cgroups) in rust
diekmann/Simple-GPS-Android
A simple location app for android
diekmann/SimplePHPEasyPlus
A simple, pragmatic numeric operation api written in PHP. It does addition.
diekmann/tinyrsh
If you can read this, I never finished what started
diekmann/useless_playground_shame
useless stuff
diekmann/wissenschaftler-und-ethik-wahlverfahren
Seminar Wissenschafler und Ethik 2011
diekmann/yacryptopan
Yet another Crypto-PAn implementation for Python