The Frenetic Project

Login: frenetic-lang

Company: null

Location: Ithaca, NY, Princeton, NJ, and Amherst, MA

email:

Blog: http://frenetic-lang.org

Members

1. Alec Story
2. Arjun Guha
3. Bryan Cuccioli
4. Christopher Monsanto
5. Cole Schlesinger
6. David Walker
7. Humam Alwassel
8. Jennifer Rexford
9. Joshua Reich
10. Matthew Milano
11. Mike Freedman
12. Naga Katta
13. Nate Foster
14. Omid Alipourfard
15. Praveen Kumar
16. Robert Soulé
17. Sam Baxter
18. Shrutarshi Basu
19. Siva Somayyajula
20. Steffen Smolka
21. null

Repositories

api

Frenetic API documentation

dprle

git mirror of dprle's svn repository at http://sourceforge.net/p/dprle/code/HEAD/tree/

fattire

Fault Tolerant Frenetic with Path Expressions

featherweight-openflow

null

frenetic

The Frenetic Programming Language and Runtime System

frenetic-vm

A VM for hacking on Frenetic

gates

Gates Hall OpenFlow Controller

manual

Programmers Guide and other written materials

netcore-1.0

Compiler from NetCore to OpenFlow and associated tools.

netkat

Starting a Coq NetKAT

netkat-automata

A Coalgebraic Decision Procedure for NetKAT

nettle-openflow

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

ocaml-openflow

Serialization library for OpenFlow

ocaml-packet

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

ocaml-tdk

The Decision Kit

ocaml-topology

OCaml topology package

opam-bleeding

Bleeding edge OPAM

opam-doc

Scripts to build Frenetic API documentation

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ox

A platform for writing OpenFlow controllers

pathetic

null

pyretic

The Pyretic language and runtime system

slices

Tools for language-based isolation

tutorials

null