Pinned Repositories
auto-faq-gen
Automatically exported from code.google.com/p/auto-faq-gen
azure-content
Repository containing the Articles on windowsazure.com Documentation Center
chipmunk
A switch compiler based on end-to-end program synthesis
cilium
eBPF-based Networking, Security, and Observability
coursegen
fpga
Information about FPGA resources at OARC
joint-maproute
Optimization models and plot scripts from the joint mapping and routing project
katran
A high performance layer 4 load balancer
sdnverify
CMurphi verification code for SDN controllers.
ngsrinivas's Repositories
ngsrinivas/sdnverify
CMurphi verification code for SDN controllers.
ngsrinivas/auto-faq-gen
Automatically exported from code.google.com/p/auto-faq-gen
ngsrinivas/azure-content
Repository containing the Articles on windowsazure.com Documentation Center
ngsrinivas/chipmunk
A switch compiler based on end-to-end program synthesis
ngsrinivas/cilium
eBPF-based Networking, Security, and Observability
ngsrinivas/coursegen
ngsrinivas/fpga
Information about FPGA resources at OARC
ngsrinivas/joint-maproute
Optimization models and plot scripts from the joint mapping and routing project
ngsrinivas/katran
A high performance layer 4 load balancer
ngsrinivas/linux
Linux kernel source tree
ngsrinivas/linux-fork
Working fork of the linux kernel, off of gregkh staging (4.10.0-rc7)
ngsrinivas/p4lang.github.io
P4.org website
ngsrinivas/pubplot
A publication-quality plot generator. Requires gnuplot.
ngsrinivas/sigcomm20
Software and content for sigcomm 2020 web pages.
ngsrinivas/template-cpp
C++ starter template