Alternatives and similar repositories for ocaml-openflow:

Users that are interested in ocaml-openflow are comparing it to the libraries listed below

• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 9 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆32Updated 4 years ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆36Updated 3 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 7 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆19Updated 6 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 8 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated this week
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated last week
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆14Updated 11 years ago
• nojb / ocaml-maildir
  OCaml library to access Maildir folders
  ☆18Updated 6 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• jonsterling / tt
  secret project
  ☆17Updated 7 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• mirage / mirage-profile
  Collect profiling information
  ☆18Updated 2 years ago
• ygrek / ocaml-bpf
  OCaml embedded eBPF assembler
  ☆21Updated 3 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 5 years ago
• mor1 / ocaml-bitstring
  mirror of http://code.google.com/p/bitstring
  ☆15Updated 8 years ago