[go: nahoru, domu]
Skip to content
@frenetic-lang

The Frenetic Project

Popular repositories Loading

  1. frenetic frenetic Public

    The Frenetic Programming Language and Runtime System

    OCaml 223 52

  2. pyretic pyretic Public archive

    The Pyretic language and runtime system

    Python 158 99

  3. netcore-1.0 netcore-1.0 Public

    Compiler from NetCore to OpenFlow and associated tools.

    Haskell 14 3

  4. ocaml-openflow ocaml-openflow Public

    Serialization library for OpenFlow

    OCaml 13 4

  5. ox ox Public

    A platform for writing OpenFlow controllers

    OCaml 13 2

  6. ocaml-packet ocaml-packet Public

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

    OCaml 10 2

Repositories

Showing 10 of 24 repositories
  • frenetic Public

    The Frenetic Programming Language and Runtime System

    frenetic-lang/frenetic’s past year of commit activity
    OCaml 223 52 18 3 Updated Nov 14, 2023
  • ox Public

    A platform for writing OpenFlow controllers

    frenetic-lang/ox’s past year of commit activity
    OCaml 13 2 2 0 Updated Mar 2, 2021
  • ocaml-tdk Public

    The Decision Kit

    frenetic-lang/ocaml-tdk’s past year of commit activity
    OCaml 8 4 0 1 Updated Jul 15, 2020
  • frenetic-vm Public

    A VM for hacking on Frenetic

    frenetic-lang/frenetic-vm’s past year of commit activity
    Shell 1 4 2 0 Updated Sep 20, 2019
  • opam-repository Public Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    frenetic-lang/opam-repository’s past year of commit activity
    Shell 2 CC0-1.0 1,122 0 0 Updated Apr 26, 2019
  • pyretic Public archive

    The Pyretic language and runtime system

    frenetic-lang/pyretic’s past year of commit activity
    Python 158 99 29 9 Updated Jun 26, 2018
  • netkat-automata Public

    A Coalgebraic Decision Procedure for NetKAT

    frenetic-lang/netkat-automata’s past year of commit activity
    OCaml 6 2 0 0 Updated May 27, 2017
  • tutorials Public
    frenetic-lang/tutorials’s past year of commit activity
    HTML 4 5 1 0 Updated Feb 6, 2017
  • fattire Public

    Fault Tolerant Frenetic with Path Expressions

    frenetic-lang/fattire’s past year of commit activity
    OCaml 4 0 2 0 Updated Nov 15, 2016
  • netkat Public

    Starting a Coq NetKAT

    frenetic-lang/netkat’s past year of commit activity
    OCaml 8 1 0 0 Updated Nov 3, 2016
View all repositories

Most used topics

Loading…