robur-coop / albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
☆143Updated last week
Related projects ⓘ
Alternatives and complementary repositories for albatross
- Purely functional SSH library in ocaml.☆104Updated last month
- A git-blogging unikernel written using MirageOS☆120Updated 11 months ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆63Updated 3 weeks ago
- An opinionated implementation of the OpenVPN protocol☆79Updated 3 weeks ago
- Pure OCaml Wayland protocol implementation☆72Updated 3 months ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆59Updated this week
- MirageOS unikernels☆51Updated 3 years ago
- Freestanding OCaml runtime☆100Updated 3 months ago
- Paste-eur as unikernel☆64Updated 3 months ago
- Examples of simple MirageOS apps☆227Updated 3 weeks ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 3 weeks ago
- Build Mirage unikernels with Nix☆37Updated 5 months ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆98Updated last year
- Map OCaml arrays onto C-like structs☆106Updated last year
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- Simple hash algorithms in OCaml☆87Updated 7 months ago
- Light library to deal with RPCs in OCaml☆96Updated last month
- Cap'n Proto RPC implementation☆100Updated this week
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆138Updated 3 weeks ago
- A Mirage filesystem library☆44Updated 3 years ago
- Streamlining the release of dune packages to opam☆115Updated 3 months ago
- A shell library for OCaml☆77Updated 6 months ago
- OCaml cryptographic library☆111Updated 4 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- Dereference URIs into communication channels for Async or Lwt☆83Updated last month
- OCaml implementation of the DNS protocol☆105Updated last week
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆147Updated last year
- Serialization library built for speed and memory efficiency☆135Updated 2 years ago
- Interoperable effects based concurrency☆91Updated this week
- Website infrastructure and content for mirage.io☆171Updated 3 weeks ago