diekmann/net-network

Stars
43
Rank 645,449 (Top 13 %)
Language
Shell
License
Other
Created almost 11 years ago
Updated over 7 years ago

diekmann/net-network

diekmann

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Public collection of firewall dumps.

wasm-fizzbuzz

WebAssembly from Scratch: From FizzBuzz to DooM.

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

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