robur-coop / unikernels

Related projects ⓘ

Alternatives and complementary repositories for unikernels

• tarides / unikernels
  MirageOS unikernels
  ☆20Updated 2 years ago
• mirage / wodan
  A Mirage filesystem library
  ☆44Updated 3 years ago
• Khady / ocaml-argon2
  Ocaml bindings to Argon2
  ☆28Updated 3 months ago
• mirage / functoria
  A DSL to invoke otherworldly functors
  ☆62Updated 2 years ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆36Updated 2 years ago
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆45Updated last year
• mirage / ocaml-ipaddr
  A library for manipulation of IP (and MAC) address representations
  ☆40Updated 6 months ago
• dinosaure / pasteur
  Paste-eur as unikernel
  ☆64Updated 4 months ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆59Updated 2 weeks ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆55Updated last month
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 4 months ago
• talex5 / irmin-indexeddb
  An Irmin backend for a web browser's IndexedDB store
  ☆35Updated 2 years ago
• c-cube / calculon
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆28Updated 10 months ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆27Updated 3 weeks ago
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆37Updated last year
• mirage / colombe
  Implementation of SMTP protocols in OCaml
  ☆44Updated 3 weeks ago
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated 3 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• emillon / ocaml-noise
  The Noise Protocol Framework, with types
  ☆26Updated 2 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆27Updated last year
• robur-coop / ocaml-letsencrypt
  ☆32Updated 2 months ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 6 months ago
• mirage / mirage-solo5
  Solo5 core platform libraries for MirageOS
  ☆20Updated 2 weeks ago
• robur-coop / memtrace-mirage
  Memtrace library for MirageOS
  ☆15Updated last year
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆19Updated 6 years ago
• mirage / retreat-website
  Microsite for the MirageOS hack retreats
  ☆13Updated 3 weeks ago