Skip to content

@frenetic-lang The Frenetic Project

Change the repository type filter

All

    Repositories list

    24 repositories

    • tutorials

      Public
      HTML
      •5•4•1•0•Updated Jul 19, 2024Jul 19, 2024

    • frenetic

      Public
      The Frenetic Programming Language and Runtime System
      OCaml
      •
      Other
      •51•224•18•3•Updated Nov 14, 2023Nov 14, 2023

    • ox

      Public
      A platform for writing OpenFlow controllers
      OCaml
      •2•13•2•0•Updated Mar 2, 2021Mar 2, 2021

    • ocaml-tdk

      Public
      The Decision Kit
      OCaml
      •
      Other
      •4•8•0•1•Updated Jul 15, 2020Jul 15, 2020

    • frenetic-vm

      Public
      A VM for hacking on Frenetic
      Shell
      •4•1•2•0•Updated Sep 20, 2019Sep 20, 2019

    • opam-repository

      Public
      Main public package repository for OPAM, the source package manager of OCaml.
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •1.1k•2•0•0•Updated Apr 26, 2019Apr 26, 2019

    • pyretic

      Public archive
      The Pyretic language and runtime system
      Python
      •99•160•29•9•Updated Jun 26, 2018Jun 26, 2018

    • netkat-automata

      Public
      A Coalgebraic Decision Procedure for NetKAT
      OCaml
      •2•6•0•0•Updated May 27, 2017May 27, 2017

    • fattire

      Public
      Fault Tolerant Frenetic with Path Expressions
      OCaml
      •
      Other
      •0•4•2•0•Updated Nov 15, 2016Nov 15, 2016

    • netkat

      Public
      Starting a Coq NetKAT
      OCaml
      •1•9•0•0•Updated Nov 3, 2016Nov 3, 2016

    • manual

      Public
      Programmers Guide and other written materials
      TeX
      •1•6•1•0•Updated Jul 13, 2016Jul 13, 2016

    • ocaml-topology

      Public
      OCaml topology package
      OCaml
      •4•5•4•1•Updated Feb 3, 2016Feb 3, 2016

    • ocaml-openflow

      Public
      Serialization library for OpenFlow
      OCaml
      •
      Other
      •4•13•11•6•Updated Jul 16, 2015Jul 16, 2015

    • featherweight-openflow

      Public
      Coq
      •
      BSD 3-Clause "New" or "Revised" License
      •3•3•0•0•Updated Mar 2, 2015Mar 2, 2015

    • ocaml-packet

      Public
      Serialization for some common network packets, including ethernet frames, IP, TCP, and ARP.
      OCaml
      •
      Other
      •2•10•3•0•Updated Feb 2, 2015Feb 2, 2015

    • opam-bleeding

      Public
      Bleeding edge OPAM
      0•0•2•0•Updated Dec 10, 2014Dec 10, 2014

    • netcore-1.0

      Public
      Compiler from NetCore to OpenFlow and associated tools.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•14•33•0•Updated Nov 3, 2014Nov 3, 2014

    • gates

      Public
      Gates Hall OpenFlow Controller
      OCaml
      •0•1•0•0•Updated Oct 29, 2014Oct 29, 2014

    • api

      Public
      Frenetic API documentation
      JavaScript
      •0•0•0•0•Updated Jul 30, 2014Jul 30, 2014

    • opam-doc

      Public
      Scripts to build Frenetic API documentation
      Scala
      •0•0•0•0•Updated Jul 25, 2014Jul 25, 2014

    • dprle

      Public
      git mirror of dprle's svn repository at http://sourceforge.net/p/dprle/code/HEAD/tree/
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated May 20, 2014May 20, 2014

    • pathetic

      Public
      OCaml
      •
      Other
      •0•4•0•0•Updated Jul 2, 2013Jul 2, 2013

    • nettle-openflow

      Public
      Small patches to nettle-openflow. See https://github.com/AndreasVoellmy/nettle-openflow for original.
      Haskell
      •
      Other
      •1•4•0•0•Updated Nov 12, 2012Nov 12, 2012

    • slices

      Public
      Tools for language-based isolation
      Python
      •1•6•0•0•Updated Jul 16, 2012Jul 16, 2012