robur

blog.robur.coop

JavaScript 0 1

Content of our blog

Updated 2025-01-17 16:38:19 +00:00

unikernel-repo

0 0

The opam repository of our unikernels.

Updated 2025-01-17 16:02:50 +00:00

builder-web

OCaml 0 0

A web user interface and API for our reproducible builds of MirageOS unikernels and host system tools.

Updated 2025-01-17 09:06:12 +00:00

ocaml-solo5-elftool

OCaml 0 0

The solo5-elftool, implemented in OCaml.

Updated 2025-01-16 15:32:10 +00:00

bstr

OCaml 0 0

Updated 2025-01-15 15:43:48 +00:00

opamdiff

OCaml 0 0

Contains types used by Builder web and Mollymawk

Updated 2025-01-14 13:13:58 +00:00

homepage-data

CSS 0 0

The content of our homepage, https://robur.coop

Updated 2025-01-14 09:52:55 +00:00

cachet

OCaml 1 0

Updated 2025-01-13 16:10:22 +00:00

git-kv

OCaml 0 0

A KV store using a remote git repository in memory.

Updated 2024-12-20 13:09:34 +00:00

miou-solo5

OCaml 0 0

Updated 2024-12-20 12:45:44 +00:00

http-mirage-client

OCaml 0 0

A HTTP client for MirageOS

Updated 2024-12-17 16:05:34 +00:00

webauthn

OCaml 0 0

An implementation of webauthn in OCaml.

Updated 2024-12-17 15:40:37 +00:00

ohex

OCaml 0 0

Hexadecimal encoding and decoding with a low footprint and a clean API.

Updated 2024-12-17 15:39:02 +00:00

opam-mirror

OCaml 0 0

Mirroring the opam repository, including source archives

Updated 2024-12-09 10:15:09 +00:00

opam-graph

OCaml 0 0

Updated 2024-12-05 08:55:09 +00:00