There are no reviews yet. Be the first to send feedback to the community and the maintainers!
wasm-fizzbuzz
WebAssembly from Scratch: From FizzBuzz to DooM.Iptables_Semantics
Verified iptables Firewall Ruleset Analysisnet-network
Public collection of firewall dumps.BACnetSim
A scala BACnet simulator using bacnet4Jdump-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 BellardIsabelle-Hello-World
Hello World in Isabelle, compiled to Haskellfancy-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 wordcctrack
Adaptive Low-Level Packet Sampling for High-Speed Networksisabelle_awesome_tac
phd-defense-slides
uefi_playground
Playing with UEFI Applicationsopenttd-web-publishing
An attempt to automatically publish the openttd game to GithubPagesisabelle-brainfuck
the famous brainfuck language implemented in the famous isabelle theorem proverbsides-muc-2018-slides
Love Open Source and this site? Check out how you can help us