Projects in Awesome Lists by diekmann
A curated list of projects in awesome lists by diekmann .
https://github.com/diekmann/wasm-fizzbuzz
WebAssembly from Scratch: From FizzBuzz to DooM.
doom javascript rust wasm webassembly
Last synced: 16 May 2025
https://github.com/diekmann/iptables_semantics
Verified iptables Firewall Ruleset Analysis
access-control firewall haskell iptables ipv4 ipv6 isabelle security
Last synced: 05 Sep 2025
https://github.com/diekmann/net-network
Public collection of firewall dumps.
dumps firewall iptables iptables-configurations iptables-rules network nftables
Last synced: 20 Aug 2025
https://github.com/diekmann/bacnetsim
A scala BACnet simulator using bacnet4J
Last synced: 16 Jul 2025
https://github.com/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.
buggy linux-kernel not-production-ready yolo yoloswag
Last synced: 25 Mar 2025
https://github.com/diekmann/telnet-password-honeypot
A simple telnet server that prompts users for a password and stores it in a file.
Last synced: 25 Mar 2025
https://github.com/diekmann/kant
Kategorischer Imperativ in Isabelle/HOL (experimental)
document isabelle-hol philosophy
Last synced: 19 Feb 2026
https://github.com/diekmann/jslinux
Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard
Last synced: 12 Aug 2026
https://github.com/diekmann/isabelle-hello-world
Hello World in Isabelle, compiled to Haskell
functional-programming haskell isabelle-hol
Last synced: 04 Apr 2025
https://github.com/diekmann/cctrack
Adaptive Low-Level Packet Sampling for High-Speed Networks
Last synced: 04 Apr 2025
https://github.com/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
Last synced: 30 Aug 2025
https://github.com/diekmann/python_tcpdump
a stdin parser for tcpdump. HACKY!
Last synced: 04 Apr 2025
https://github.com/diekmann/isabelle-brainfuck
the famous brainfuck language implemented in the famous isabelle theorem prover
Last synced: 12 Feb 2026
https://github.com/diekmann/openttd-web-publishing
An attempt to automatically publish the openttd game to GithubPages
Last synced: 19 Mar 2026
https://github.com/diekmann/c_memorymanagementmanager
A simple manager for memory management in C. Scaling C to enterprise quality!
Last synced: 02 Jul 2025
https://github.com/diekmann/cpp_functional
Programming and Proving in C++/Templates
Last synced: 04 Apr 2025
https://github.com/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.
Last synced: 07 Sep 2025
https://github.com/diekmann/devcontainer
A hardened dev environment in a container. For use with vscode. Via ssh; not containers.dev.
Last synced: 24 Feb 2026
https://github.com/diekmann/wissenschaftler-und-ethik-wahlverfahren
Seminar Wissenschafler und Ethik 2011
Last synced: 12 Feb 2026
https://github.com/diekmann/post_quantum_crypto_test
Tiny personal PQ Crypto experiments. DO NOT USE IN PRODUCTION. I HAVE NO IDEA WHAT I'M DOING!
Last synced: 09 Sep 2025
https://github.com/diekmann/rfc3526_reproduce
Check that the RFC 3526 formulas for the primes reproduce the prime given in binary
Last synced: 07 Aug 2025
https://github.com/diekmann/oertchan
öRTChan: parasitic webRTC p2p overlay network
Last synced: 04 Apr 2025
https://github.com/diekmann/tinyrsh
If you can read this, I never finished what started
Last synced: 04 Apr 2025
https://github.com/diekmann/ephyprompt
[WARNING: vibe coded] EphyPrompt is a simple LLM chat UI which runs completely locally and calls out to your LLM provider.
Last synced: 26 Jul 2026
https://github.com/diekmann/rusty-container
[draft] minimal containers (only namespaces, no cgroups) in rust
Last synced: 04 Apr 2025
https://github.com/diekmann/simple-gps-android
A simple location app for android
Last synced: 04 Apr 2025