frenetic-lang/ox frenetic-lang/ox

  • Stars
    star
    13
  • Rank 1,504,784 (Top 30 %)
  • Language
    OCaml
  • Created about 11 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
frenetic-lang/ox
github

frenetic-lang

Reviews

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

Repository Details

A platform for writing OpenFlow controllers

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

ocaml-openflow

Serialization library for OpenFlow
OCaml
13
star
5

ocaml-packet

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

netkat

Starting a Coq NetKAT
OCaml
9
star
7

ocaml-tdk

The Decision Kit
OCaml
8
star
8

netkat-automata

A Coalgebraic Decision Procedure for NetKAT
OCaml
6
star
9

slices

Tools for language-based isolation
Python
6
star
10

manual

Programmers Guide and other written materials
TeX
6
star
11

ocaml-topology

OCaml topology package
OCaml
5
star
12

pathetic

OCaml
4
star
13

fattire

Fault Tolerant Frenetic with Path Expressions
OCaml
4
star
14

nettle-openflow

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

tutorials

HTML
4
star
16

featherweight-openflow

Coq
3
star
17

frenetic-vm

A VM for hacking on Frenetic
Shell
1
star
18

gates

Gates Hall OpenFlow Controller
OCaml
1
star