frenetic-lang/featherweight-openflow frenetic-lang/featherweight-openflow

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    BSD 3-Clause "New...
  • Created over 11 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
frenetic-lang/featherweight-openflow
github

frenetic-lang

Reviews

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

Repository Details

More Repositories

1

frenetic

The Frenetic Programming Language and Runtime System
OCaml
223
star
2

pyretic

The Pyretic language and runtime system
Python
159
star
3

netcore-1.0

Compiler from NetCore to OpenFlow and associated tools.
Haskell
14
star
4

ox

A platform for writing OpenFlow controllers
OCaml
13
star
5

ocaml-openflow

Serialization library for OpenFlow
OCaml
13
star
6

ocaml-packet

Serialization for some common network packets, including ethernet frames, IP, TCP, and ARP.
OCaml
10
star
7

netkat

Starting a Coq NetKAT
OCaml
9
star
8

ocaml-tdk

The Decision Kit
OCaml
8
star
9

netkat-automata

A Coalgebraic Decision Procedure for NetKAT
OCaml
6
star
10

slices

Tools for language-based isolation
Python
6
star
11

manual

Programmers Guide and other written materials
TeX
6
star
12

ocaml-topology

OCaml topology package
OCaml
5
star
13

pathetic

OCaml
4
star
14

fattire

Fault Tolerant Frenetic with Path Expressions
OCaml
4
star
15

nettle-openflow

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

tutorials

HTML
4
star
17

frenetic-vm

A VM for hacking on Frenetic
Shell
1
star
18

gates

Gates Hall OpenFlow Controller
OCaml
1
star