Alternatives and similar repositories for frenetic:

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

• mirage / mirage-tcpip
  TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
  ☆343Updated 4 months ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆79Updated 6 months ago
• merlin-lang / merlin
  The Merlin Network Management System
  ☆21Updated 7 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆33Updated last year
• frenetic-lang / pyretic
  The Pyretic language and runtime system
  ☆160Updated 6 years ago
• floodlight / loxigen
  OpenFlow protocol bindings for multiple languages
  ☆96Updated last year
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated last year
• MaxiNet / MaxiNet
  MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…
  ☆88Updated 4 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 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 2 years ago
• 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…
  ☆227Updated 4 years ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆174Updated 6 years ago
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 years ago
• p4lang / p4-spec
  ☆182Updated this week
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆305Updated last month
• sysml / clickos
  The Click modular router: fast modular packet processing and analysis
  ☆137Updated 2 years ago
• opennetworkinglab / flowvisor
  FlowVisor - A network hypervisor
  ☆164Updated 11 years ago
• mirage / mirage-www
  Website infrastructure and content for mirage.io
  ☆172Updated 3 months ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆96Updated 5 months ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆237Updated 2 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆47Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated this week
• p4lang / PI
  An implementation framework for a P4Runtime server
  ☆169Updated 3 months ago
• Yi-Tseng / IntelliJ-P4-Plugin
  P4 language plugin for IntelliJ IDE
  ☆28Updated 2 years ago
• floodlight / oftest
  OpenFlow Switch Test Framework
  ☆86Updated 11 months ago
• P4ELTE / t4p4s
  Retargetable compiler for the P4 language
  ☆120Updated this week
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆187Updated last year
• kth-step / HOL4P4
  P4 formalization using Ott and HOL4
  ☆10Updated this week