mirage / ocaml-openflow

Related projects ⓘ

Alternatives and complementary repositories for ocaml-openflow

• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 6 months ago
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 9 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆33Updated 4 years ago
• nojb / ocaml-maildir
  OCaml library to access Maildir folders
  ☆18Updated 5 years ago
• mor1 / ocaml-bitstring
  mirror of http://code.google.com/p/bitstring
  ☆15Updated 8 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆19Updated 6 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 7 years ago
• suttonshire / ocaml-xsk
  An OCaml wrapper to the AF_XDP socket interface of libbpf
  ☆26Updated 4 months ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆34Updated 2 months ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆35Updated 3 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 6 years ago
• ygrek / ocaml-bpf
  OCaml embedded eBPF assembler
  ☆21Updated 2 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 6 years ago
• esbullington / snabbp4
  p4 language running on Snabb Switch (work-in-progress)
  ☆11Updated 8 years ago
• mirage / mirage-handbook
  WIP Handbook for MirageOS
  ☆14Updated 6 years ago
• yallop / ocaml-pb
  An OCaml library for describing Protobuf messages
  ☆30Updated 3 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• samoht / loops-mirage
  Tutoriel MirageOS pour la 8e journée LoOPS
  ☆12Updated 8 years ago
• hannesm / ocaml-otr
  Off-the-record (OTR) messaging protocol, purely in OCaml
  ☆39Updated last month
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 4 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 5 years ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆17Updated last month
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• maximedenes / coq-amd64
  ☆22Updated 8 years ago
• yallop / ocaml-pb-plugin
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Updated 4 years ago
• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 6 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago