Discover diekmann/dump-x86_64-pagetable Open Source project

Stars
11
Rank 1,691,670 (Top 34 %)
Language
C
License
GNU General Publi...
Created over 7 years ago
Updated over 7 years ago

diekmann

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

Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.

wasm-fizzbuzz

WebAssembly from Scratch: From FizzBuzz to DooM.

C++

1,503

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

Isabelle

net-network

Public collection of firewall dumps.

Shell

BACnetSim

A scala BACnet simulator using bacnet4J

Scala

encryption-is-not-integrity

Python

telnet-password-honeypot

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

topoS

Isabelle

kant

Kategorischer Imperativ in Isabelle/HOL (experimental)

Isabelle

jslinux

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

Isabelle-Hello-World

Hello World in Isabelle, compiled to Haskell

Isabelle

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

Shell

python_tcpdump

a stdin parser for tcpdump. HACKY!

Python

cctrack

Adaptive Low-Level Packet Sampling for High-Speed Networks

phd-defense-slides

TeX

isabelle_awesome_tac

uefi_playground

Playing with UEFI Applications

Makefile

openttd-web-publishing

An attempt to automatically publish the openttd game to GithubPages

Makefile

isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover

bsides-muc-2018-slides

TeX

diekmann/dump-x86_64-pagetable

diekmann

Reviews

Repository Details

More Repositories