frenetic-lang/ocaml-tdk frenetic-lang/ocaml-tdk

  • Stars
    star
    8
  • Rank 2,088,367 (Top 42 %)
  • Language
    OCaml
  • License
    Other
  • Created almost 10 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
frenetic-lang/ocaml-tdk
github

frenetic-lang

Reviews

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

Repository Details

The Decision Kit

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

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