frenetic-lang/ocaml-packet frenetic-lang/ocaml-packet

  • Stars
    star
    10
  • Rank 1,798,062 (Top 36 %)
  • Language
    OCaml
  • License
    Other
  • Created about 11 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
frenetic-lang/ocaml-packet
github

frenetic-lang

Reviews

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

Repository Details

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

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

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