diekmann Goto Github PK

autogole-topologies

Topologies for the Automated GOLE project

bacnetsim

A scala BACnet simulator using bacnet4J

brainfuck

Brainfuck interpreter written in C.

bsides-muc-2018-slides

c_memorymanagementmanager

A simple manager for memory management in C. Scaling C to enterprise quality!

cctrack

Adaptive Low-Level Packet Sampling for High-Speed Networks

chaos

cpp_functional

Programming and Proving in C++/Templates

cpython

The Python programming language

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

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

fixed-topos-header-space-analysis

fuckitc

hackbgrt

Windows boot logo changer for UEFI systems

hsseccomp

Bindings to libseccomp

iptables_semantics

Verified iptables Firewall Ruleset Analysis

isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover

isabelle-go-codegen

Go Code Generation for Isabelle

isabelle-hello-world

Hello World in Isabelle, compiled to Haskell

isabelle_awesome_tac

jslinux

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

kant

Kategorischer Imperativ in Isabelle/HOL (experimental)

linux-insides

A little bit about a linux kernel

magic-modules

Generate Google Cloud Platform support for Terraform, Ansible, InSpec

net-network

Public collection of firewall dumps.

oertchan

öRTChan: parasitic webRTC p2p overlay network

openttd-web-publishing

An attempt to automatically publish the openttd game to GithubPages

pdfs

papers and presentations

peer-to-peer-cue-system

Cue system for simple two-way communication and visual signaling using PeerJS peer-to-peer connection.