Verified iptables Firewall Ruleset Analysis
Isabelle 70 8
Public collection of firewall dumps.
Shell 35 5
A scala BACnet simulator using bacnet4J
Scala 10 2
Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.
C 6 1
Adaptive Low-Level Packet Sampling for High-Speed Networks
C 2 1
a stdin parser for tcpdump. HACKY!
Python 2