Skip to content

Popular repositories Loading

  1. albatross albatross Public

    Albatross: orchestrate and manage MirageOS unikernels with Solo5

    OCaml 150 18

  2. miou miou Public

    A simple scheduler for OCaml 5

    OCaml 102 8

  3. miragevpn miragevpn Public

    An opinionated implementation of the OpenVPN protocol

    OCaml 79 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 60 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 66 repositories
  • notty-miou Public
    OCaml 14 1 0 0 Updated Apr 1, 2025
  • vif Public

    A simple HTTP server for OCaml 5

    OCaml 20 0 0 0 Updated Apr 1, 2025
  • hurl Public

    A simple HTTP client for OCaml 5

    OCaml 12 0 0 0 Updated Mar 31, 2025
  • httpcats Public

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

    OCaml 35 6 2 (2 issues need help) 1 Updated Mar 31, 2025
  • mollymawk Public

    A web interface for albatross

    OCaml 19 BSD-2-Clause 3 15 1 Updated Mar 28, 2025
  • dns-stub Public

    A stub DNS resolver MirageOS unikernel

    OCaml 6 BSD-2-Clause 0 0 0 Updated Mar 27, 2025
  • utcp Public

    An implementation of the Transmission Control Protocol in OCaml

    OCaml 29 3 14 2 Updated Mar 23, 2025
  • miou-solo5 Public
    OCaml 11 0 0 0 Updated Mar 19, 2025
  • miou Public

    A simple scheduler for OCaml 5

    OCaml 102 MIT 8 7 (1 issue needs help) 2 Updated Mar 19, 2025
  • unipi Public

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

    OCaml 63 7 1 2 Updated Mar 17, 2025

People

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

Sponsors

  • @xvw
  • @turbolent
  • Private Sponsor

Top languages

Loading…

Most used topics

Loading…