mirage / ocaml-openflow

Related projects: ⓘ

• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 9 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆33Updated 4 years ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆18Updated this week
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• ygrek / ocaml-bpf
  OCaml embedded eBPF assembler
  ☆20Updated 2 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 6 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆46Updated 4 months ago
• mor1 / ocaml-bitstring
  mirror of http://code.google.com/p/bitstring
  ☆15Updated 8 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 6 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆61Updated 3 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 7 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆19Updated 6 years ago
• hannesm / ocaml-otr
  Off-the-record (OTR) messaging protocol, purely in OCaml
  ☆40Updated 2 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• samoht / loops-mirage
  Tutoriel MirageOS pour la 8e journée LoOPS
  ☆12Updated 8 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆24Updated 4 months ago
• nojb / ocaml-maildir
  OCaml library to access Maildir folders
  ☆19Updated 5 years ago
• ujamjar / hardcaml-affirm
  Verification tools for HardCaml
  ☆10Updated 6 years ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆13Updated 10 years ago
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated last week
• openvstorage / alba
  Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…
  ☆28Updated 6 years ago
• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 6 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆51Updated last month
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 6 years ago
• robur-coop / udns
  [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library
  ☆55Updated 5 years ago
• hannesm / tlsclient
  TLS client program
  ☆12Updated 4 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 3 years ago
• maximedenes / coq-amd64
  ☆22Updated 8 years ago