Updated 2024-11-10 16:54:35 +00:00
The opam repository of our unikernels.
Updated 2024-11-08 14:42:23 +00:00
Mirroring the opam repository, including source archives
Updated 2024-11-08 14:41:16 +00:00
A HTTP client for MirageOS
Updated 2024-11-08 11:05:08 +00:00
A KV store using a remote git repository in memory.
Updated 2024-10-30 20:11:01 +00:00
Content of our blog
Updated 2024-10-29 11:19:27 +00:00
Content of our blog
Updated 2024-10-28 12:11:35 +00:00
The robur.coop redesign, with yocaml 1 (note: this is not live, and we need yocaml2)
Updated 2024-10-24 08:32:24 +00:00
The content of the blog at https://hannes.robur.coop
Updated 2024-10-11 09:45:04 +00:00
The content of our homepage, https://robur.coop
Updated 2024-10-11 09:33:14 +00:00
An implementation of webauthn in OCaml.
Updated 2024-10-04 06:15:43 +00:00
A web user interface and API for our reproducible builds of MirageOS unikernels and host system tools.
Updated 2024-09-24 12:16:21 +00:00
Updated 2024-09-24 09:59:19 +00:00
Updated 2024-09-11 11:14:56 +00:00
The solo5-elftool, implemented in OCaml.
Updated 2024-08-28 09:07:26 +00:00
Hexadecimal encoding and decoding with a low footprint and a clean API.
Updated 2024-08-28 09:04:36 +00:00
Monitoring extensions for MirageOS: syslog, Influx reporter, memtrace, log level adjustment.
Updated 2024-08-28 09:03:02 +00:00
Updated 2024-08-27 14:42:27 +00:00