frenetic-lang / frenetic
The Frenetic Programming Language and Runtime System
☆223Updated 10 months ago
Related projects: ⓘ
- TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.☆339Updated 3 weeks ago
- Petr4: Formal Semantics for P4☆74Updated 2 months ago
- The Pyretic language and runtime system☆159Updated 6 years ago
- The Merlin Network Management System☆21Updated 7 years ago
- A Framework for Modeling and Analyzing Network Configurations☆31Updated last year
- Compile P4 and run the P4 behavioral simulator☆174Updated 6 years ago
- The Click modular router: fast modular packet processing and analysis☆136Updated last year
- ☆175Updated 2 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆223Updated 3 years ago
- ☆17Updated 9 years ago
- ☆78Updated 6 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆181Updated 9 months ago
- MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…☆88Updated 3 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆76Updated 2 years ago
- FSCQ is a certified file system written and proven in Coq☆234Updated last year
- TLS in pure OCaml☆303Updated 2 weeks ago
- Main repository of the Vigor NF verification project.☆45Updated 3 years ago
- OpenFlow protocol bindings for multiple languages☆96Updated last year
- FlowVisor - A network hypervisor☆164Updated 11 years ago
- Retargetable compiler for the P4 language☆118Updated 2 months ago
- Specification documents for the P4Runtime control-plane API☆144Updated this week
- Repository for papers related to P4☆38Updated 7 years ago
- An extension layer that makes it easier to build complex networks in Mininet☆44Updated 7 years ago
- ☆15Updated 7 years ago
- Consolidated switch repo (API, SAI and Nettlink)☆152Updated 3 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆94Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆79Updated last month
- Network Semantics☆85Updated 5 years ago
- OpenFlow Switch Test Framework☆86Updated 7 months ago
- CPqD's version of RouteFlow. For the community version (more frequently updated) see: http://routeflow.github.io/RouteFlow/☆113Updated 10 years ago