Popular repositoriesLoading

1. wasm-fizzbuzzwasm-fizzbuzzPublic

   WebAssembly from Scratch: From FizzBuzz to DooM.

   C++ 1.5k 66

2. Iptables_SemanticsIptables_SemanticsPublic

   Verified iptables Firewall Ruleset Analysis

   Isabelle 97 13

3. net-networknet-networkPublic

   Public collection of firewall dumps.

   Shell 42 5

4. uefi_nyan_80x25uefi_nyan_80x25Public

   Porting Nyan cat to UEFI. In Rust 🦀. Writeup ✍️

   HTML 37

5. BACnetSimBACnetSimPublic

   A scala BACnet simulator using bacnet4J

   Scala 16 3

6. dump-x86_64-pagetabledump-x86_64-pagetablePublic

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

   C 11 1