John Sonchack's repositories
tofino_p4_simple_example
Simple example wire app
pkt-combinators
Packet processing combinator library research.
dafny-lucid
modeling lucid in dafny
Language:Dafny000
dafny_hacking
playing around with dafny
Language:Dafny000
Language:Shell000
Apache-2.0000
ngsdn-tutorial
Hands-on tutorial to learn the building blocks of the Next-Gen SDN architecture
Apache-2.0000
packetProcessing
Tools for simple custom packet processing.
Language:C++000
pathminer
PathMiner
000
pyPcapAnalysis
Getting started with pcap analysis in python
Language:Jupyter Notebook000
switchproxy
Simple OFX-like proxy between a switch and controller.
Language:C++000