Discover @diekmann Open Source projects

Cornelius Diekmann (@diekmann)

diekmann

Stars
1,704
Global Rank 18,072 (Top 0.7 %)
Followers 84
Following 12
Registered over 12 years ago
Most used languages

Isabelle 22.2 %

C
22.2 %

Makefile 11.1 %

Shell
11.1 %

Python
11.1 %

TeX
11.1 %

Scala
5.6 %

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

Isabelle 1

C++
70

Scala
216

Makefile 609

Shell
786

TeX
1,118

C
1,374

Python
7,171

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

phd-defense-slides

isabelle_awesome_tac

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