Discover @diekmann Open Source projects

Cornelius Diekmann (@diekmann)

diekmann

Stars
1,709
Global Rank 18,089 (Top 0.7 %)
Followers 86
Following 12
Registered over 12 years ago
Most used languages

C
22.2 %

Isabelle 22.2 %

Shell
11.1 %

TeX
11.1 %

Python
11.1 %

Makefile 11.1 %

Scala
5.6 %

C++
5.6 %
Location 🇩🇪 Germany
Country Total Rank 1,026
Country Ranking

Isabelle 1

C++
70

Scala
212

Makefile 529

Shell
771

C
1,373

TeX
1,383

Python
6,821

wasm-fizzbuzz

WebAssembly from Scratch: From FizzBuzz to DooM.

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

net-network

Public collection of firewall dumps.

BACnetSim

A scala BACnet simulator using bacnet4J

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

telnet-password-honeypot

A simple telnet server that prompts users for a password and stores it in a file.

topoS

kant

Kategorischer Imperativ in Isabelle/HOL (experimental)

jslinux

Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard

Isabelle-Hello-World

Hello World in Isabelle, compiled to Haskell

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

python_tcpdump

a stdin parser for tcpdump. HACKY!

cctrack

Adaptive Low-Level Packet Sampling for High-Speed Networks

isabelle_awesome_tac

phd-defense-slides

uefi_playground

Playing with UEFI Applications

openttd-web-publishing

An attempt to automatically publish the openttd game to GithubPages

isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover

bsides-muc-2018-slides