Alternatives and similar repositories for frenetic:

Users that are interested in frenetic are comparing it to the libraries listed below

• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆79Updated 7 months ago
• mirage / mirage-tcpip
  TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
  ☆343Updated 2 weeks ago
• frenetic-lang / pyretic
  The Pyretic language and runtime system
  ☆160Updated 6 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆33Updated 2 years ago
• p4lang / p4-spec
  ☆187Updated 2 weeks ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆174Updated 7 years ago
• mirage / ocaml-dns
  OCaml implementation of the DNS protocol
  ☆105Updated this week
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆238Updated 2 years ago
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated last year
• p4lang / p4runtime
  Specification documents for the P4Runtime control-plane API
  ☆149Updated last week
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆306Updated 2 weeks ago
• MaxiNet / MaxiNet
  MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…
  ☆90Updated 4 years ago
• P4ELTE / t4p4s
  Retargetable compiler for the P4 language
  ☆120Updated last month
• AndreasVoellmy / openflow
  Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
  ☆20Updated 7 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• merlin-lang / merlin
  The Merlin Network Management System
  ☆21Updated 7 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆187Updated last year
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 years ago
• tnelson / FlowLog
  ☆17Updated 9 years ago
• floodlight / loxigen
  OpenFlow protocol bindings for multiple languages
  ☆95Updated last year
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆228Updated 4 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆47Updated 3 years ago
• opennetworkinglab / flowvisor
  FlowVisor - A network hypervisor
  ☆163Updated 11 years ago
• p4lang / p4c-bm
  Generates the JSON configuration for the behavioral-model (bmv2), as well as the C/C++ PD code
  ☆24Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆97Updated 6 months ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• kohler / click
  The Click modular router: fast modular packet processing and analysis
  ☆754Updated 2 years ago
• noxrepo / nox
  The NOX Controller
  ☆139Updated 11 years ago
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated last week