robur-coop / unikernels

Related projects: ⓘ

• mirage / wodan
  A Mirage filesystem library
  ☆44Updated 3 years ago
• tarides / unikernels
  MirageOS unikernels
  ☆20Updated 2 years ago
• mirage / ptt
  Postes, Télégraphes et Téléphones
  ☆27Updated this week
• mirage / ocaml-ipaddr
  A library for manipulation of IP (and MAC) address representations
  ☆40Updated 3 months ago
• mirage / functoria
  A DSL to invoke otherworldly functors
  ☆63Updated 2 years ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 4 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆59Updated last week
• dinosaure / pasteur
  Paste-eur as unikernel
  ☆65Updated 2 months ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆19Updated 6 years ago
• emillon / ocaml-noise
  The Noise Protocol Framework, with types
  ☆26Updated 2 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 6 months ago
• robur-coop / traceroute
  MirageOS traceroute unikernel
  ☆18Updated this week
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆16Updated 5 years ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆36Updated 2 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆38Updated 2 months ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 4 months ago
• nojb / ocaml-imap
  Lwt-compatible IMAP4rev1 client library for OCaml
  ☆41Updated 3 years ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆54Updated 8 years ago
• robur-coop / ocaml-letsencrypt
  ☆32Updated 2 weeks ago
• mirage / colombe
  Implementation of SMTP protocols in OCaml
  ☆43Updated this week
• mirage / mirage-solo5
  Solo5 core platform libraries for MirageOS
  ☆20Updated 4 months ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆63Updated last week
• hannesm / gmap
  heterogenous Map over a GADT
  ☆42Updated 3 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆35Updated 2 weeks ago
• mirage / retreat.mirage.io
  Microsite for the MirageOS hack retreats
  ☆14Updated last week
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆46Updated last year
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago