Skip to content

Popular repositories Loading

  1. albatross albatross Public

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    OCaml 142 17

  2. miou miou Public

    A simple scheduler for OCaml 5

    OCaml 91 6

  3. miragevpn miragevpn Public

    An opinionated implementation of the OpenVPN protocol

    OCaml 78 9

  4. unipi unipi Public

    Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

    OCaml 63 7

  5. caldav caldav Public

    Calendar server (CalDAV, RFC 4791) implementation in OCaml

    OCaml 59 6

  6. udns udns Public archive

    [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

    OCaml 55 5

Repositories

Showing 10 of 57 repositories
  • robur-coop/webauthn’s past year of commit activity
    OCaml 22 BSD-2-Clause 6 0 1 Updated Sep 18, 2024
  • albatross Public

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    robur-coop/albatross’s past year of commit activity
    OCaml 142 ISC 17 7 1 Updated Sep 18, 2024
  • traceroute Public

    MirageOS traceroute unikernel

    robur-coop/traceroute’s past year of commit activity
    OCaml 18 2 0 0 Updated Sep 17, 2024
  • httpcats Public

    A simple http client/server (http/1.1 & h2) for OCaml 5

    robur-coop/httpcats’s past year of commit activity
  • orb Public

    check opam package reproductibility

    robur-coop/orb’s past year of commit activity
    OCaml 8 ISC 1 0 0 Updated Sep 13, 2024
  • tlstunnel Public

    A TLS reverse proxy unikernel

    robur-coop/tlstunnel’s past year of commit activity
    OCaml 34 2 6 0 Updated Sep 12, 2024
  • unipi Public

    Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

    robur-coop/unipi’s past year of commit activity
    OCaml 63 7 1 2 Updated Sep 12, 2024
  • dns-secondary Public

    A MirageOS unikernel acting as a secondary DNS server

    robur-coop/dns-secondary’s past year of commit activity
    OCaml 7 1 0 0 Updated Sep 12, 2024
  • dns-primary-git Public

    A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository

    robur-coop/dns-primary-git’s past year of commit activity
    OCaml 14 4 1 0 Updated Sep 12, 2024
  • caldav Public

    Calendar server (CalDAV, RFC 4791) implementation in OCaml

    robur-coop/caldav’s past year of commit activity
    OCaml 59 ISC 6 7 0 Updated Sep 12, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.