Alternatives and similar repositories for ocaml-openflow

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

• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 3 months ago
• lastland / WebSpec
  ☆18Updated 8 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆33Updated 5 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 10 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 6 months ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆14Updated 11 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• mor1 / ocaml-bitstring
  mirror of http://code.google.com/p/bitstring
  ☆15Updated 8 years ago
• nojb / ocaml-maildir
  OCaml library to access Maildir folders
  ☆18Updated 6 years ago
• talex5 / mirage-trace-viewer
  GTK and HTML viewers for mirage-profile trace files
  ☆20Updated 2 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last month
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• ygrek / ocaml-bpf
  OCaml embedded eBPF assembler
  ☆21Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• yallop / ocaml-pb-plugin
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Updated 5 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 7 years ago
• yallop / ocaml-pb
  An OCaml library for describing Protobuf messages
  ☆30Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• fxfactorial / reasonml-brotli
  High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli
  ☆20Updated last year
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 3 months ago