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/wasm-fizzbuzz
WebAssembly from Scratch: From FizzBuzz to DooM.
diekmann/Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
diekmann/encryption-is-not-integrity
diekmann/telnet-password-honeypot
A simple telnet server that prompts users for a password and stores it in a file.
diekmann/topoS
diekmann/kant
Kategorischer Imperativ in Isabelle/HOL (experimental)
diekmann/Isabelle-Hello-World
Hello World in Isabelle, compiled to Haskell
diekmann/jslinux
Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard
diekmann/bsides-muc-2018-slides
diekmann/openttd-web-publishing
An attempt to automatically publish the openttd game to GithubPages
diekmann/phd-defense-slides
diekmann/uefi_playground
Playing with UEFI Applications
diekmann/chaos
diekmann/cpp_functional
Programming and Proving in C++/Templates
diekmann/cpython
The Python programming language
diekmann/fuckitc
diekmann/HackBGRT
Windows boot logo changer for UEFI systems
diekmann/isabelle-go-codegen
Go Code Generation for Isabelle
diekmann/linux-insides
A little bit about a linux kernel
diekmann/magic-modules
Generate Google Cloud Platform support for Terraform, Ansible, InSpec
diekmann/oertchan
öRTChan: parasitic webRTC p2p overlay network
diekmann/Peer-to-Peer-Cue-System
Cue system for simple two-way communication and visual signaling using PeerJS peer-to-peer connection.
diekmann/post_quantum_crypto_test
Tiny personal PQ Crypto experiments. DO NOT USE IN PRODUCTION. I HAVE NO IDEA WHAT I'M DOING!
diekmann/riscv-isa-manual
RISC-V Instruction Set Manual
diekmann/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
diekmann/terraform
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
diekmann/testrepo
testing only
diekmann/website
My website
diekmann/x86_64-dump-startup-stack
When an elf64 binary gets execed and _started on Linux, the stack contains useful information. We dump some if it.
diekmann/yaml
A better way to marshal and unmarshal YAML in Golang