ngsrinivas

Srinivas Narayana's repositories

CMurphi verification code for SDN controllers.

Language:M1 20

Automatically exported from code.google.com/p/auto-faq-gen

000

Repository containing the Articles on windowsazure.com Documentation Center

Language:ShellNOASSERTION010

A switch compiler based on end-to-end program synthesis

Language:Python010

eBPF-based Networking, Security, and Observability

Language:GoApache-2.0000

Language:CSSNOASSERTION010

Information about FPGA resources at OARC

010

Optimization models and plot scripts from the joint mapping and routing project

Language:C010

A high performance layer 4 load balancer

Language:C++GPL-2.0000

Linux kernel source tree

Language:CNOASSERTION000

Working fork of the linux kernel, off of gregkh staging (4.10.0-rc7)

Language:CNOASSERTION040

P4.org website

Language:HTMLApache-2.0010

A publication-quality plot generator. Requires gnuplot.

Language:PythonMIT000

Software and content for sigcomm 2020 web pages.

Language:HTML01 4

C++ starter template

Language:MakefileMIT010