merlin-lang / merlinView external linksLinks
The Merlin Network Management System
☆22Aug 11, 2017Updated 8 years ago
Alternatives and similar repositories for merlin
Users that are interested in merlin are comparing it to the libraries listed below
Sorting:
- The Frenetic Programming Language and Runtime System☆228Nov 14, 2023Updated 2 years ago
- ☆11Mar 8, 2025Updated 11 months ago
- ☆25Dec 31, 2021Updated 4 years ago
- MirageOS traceroute unikernel☆17Dec 4, 2025Updated 2 months ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 10 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- LOOM Controller☆33May 10, 2016Updated 9 years ago
- Simulation of consensus algorithms in heterogeneous networks☆21Nov 30, 2015Updated 10 years ago
- ☆17Oct 17, 2025Updated 3 months ago
- OCaml embedded eBPF assembler☆24Feb 14, 2022Updated 3 years ago
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 7 years ago
- SLANG is a system for accurate measurements of RTT and derived metrics in an IP network.☆26Apr 8, 2013Updated 12 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Starting point for libfluid, winner of the ONF OpenFlow driver competition! Here you'll find documentation, examples and build tools.☆35Nov 24, 2016Updated 9 years ago
- RaspberryPi based Wired/Wireless switch for ONOS based SDN networking testbed.☆27Feb 23, 2016Updated 9 years ago
- The "Let's-defend-solution" directory contains the answers to all paths of the Let's Defend platform that were saved by the creator 8 mon…☆12Apr 27, 2023Updated 2 years ago
- Mining Network Specifications from Network Configurations☆35Nov 20, 2020Updated 5 years ago
- ☆81Apr 13, 2018Updated 7 years ago
- My working copy of the Open vSwitch tree☆47Dec 16, 2025Updated last month
- Extend Open vSwitch with BPF programs at runtime☆35Jan 29, 2020Updated 6 years ago
- ☆10Feb 6, 2026Updated last week
- Network Semantics☆91Jan 6, 2019Updated 7 years ago
- Fast packet processing using CPUs☆39Jan 23, 2017Updated 9 years ago
- NS3 support for P4 programs using bmv2☆34Feb 20, 2019Updated 6 years ago
- SDN Firewall IDP project☆13May 31, 2024Updated last year
- It is a platform to use multiprocess to combine dpdk and libnids together to support analyse packets in 10G port.☆39Nov 19, 2014Updated 11 years ago
- ☆10Dec 5, 2017Updated 8 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- ☆10May 30, 2017Updated 8 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated last year
- Scripts and instructions for Zero To Cloud With NetflixOSS☆10Jan 18, 2016Updated 10 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- ☆11May 7, 2018Updated 7 years ago
- logic file system☆27Mar 16, 2018Updated 7 years ago
- Web interface to IntelMQ☆10Sep 10, 2025Updated 5 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago