frenetic-lang/frenetic-vm

Stars
1
Language
Shell
Created about 10 years ago
Updated about 5 years ago

frenetic-lang/frenetic-vm

frenetic-lang

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A VM for hacking on Frenetic

frenetic

The Frenetic Programming Language and Runtime System

pyretic

The Pyretic language and runtime system

netcore-1.0

Compiler from NetCore to OpenFlow and associated tools.

ox

A platform for writing OpenFlow controllers

ocaml-openflow

Serialization library for OpenFlow

ocaml-packet

Serialization for some common network packets, including ethernet frames, IP, TCP, and ARP.

netkat

Starting a Coq NetKAT

ocaml-tdk

The Decision Kit

netkat-automata

A Coalgebraic Decision Procedure for NetKAT

slices

Tools for language-based isolation

manual

Programmers Guide and other written materials

ocaml-topology

OCaml topology package

pathetic

fattire

Fault Tolerant Frenetic with Path Expressions

nettle-openflow

Small patches to nettle-openflow. See https://github.com/AndreasVoellmy/nettle-openflow for original.

tutorials

featherweight-openflow

gates

Gates Hall OpenFlow Controller