Explore @frenetic-lang Open Source projects

The Frenetic Project (@frenetic-lang)

frenetic-lang

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

OCaml
57.9 %

Python
10.5 %

Haskell
10.5 %

Coq 5.3 %

Shell
5.3 %

TeX
5.3 %

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

OCaml
24

Coq 139

Haskell
633

TeX
1,668

Python
6,168

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