Explore @frenetic-lang Open Source projects

The Frenetic Project (@frenetic-lang)

frenetic-lang

Stars
496
Global Org. Rank 24,008 (Top 8 %)
Registered over 12 years ago
Most used languages

OCaml
57.9 %

Haskell
10.5 %

Python
10.5 %

Coq 5.3 %

TeX
5.3 %

HTML
5.3 %

Shell
5.3 %
Location 🇺🇸 United States
Country Total Rank 15,189
Country Ranking

OCaml
24

Coq 138

Haskell
626

TeX
1,743

Python
6,215

frenetic

The Frenetic Programming Language and Runtime System

pyretic

The Pyretic language and runtime system

netcore-1.0

Compiler from NetCore to OpenFlow and associated tools.

ox

A platform for writing OpenFlow controllers

ocaml-openflow

Serialization library for OpenFlow

ocaml-packet

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

netkat

Starting a Coq NetKAT

ocaml-tdk

The Decision Kit

netkat-automata

A Coalgebraic Decision Procedure for NetKAT

slices

Tools for language-based isolation

manual

Programmers Guide and other written materials

ocaml-topology

OCaml topology package

pathetic

fattire

Fault Tolerant Frenetic with Path Expressions

nettle-openflow

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

tutorials

featherweight-openflow

frenetic-vm

A VM for hacking on Frenetic

gates

Gates Hall OpenFlow Controller