robur-coop / unipiLinks
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
☆64Updated 2 months ago
Alternatives and similar repositories for unipi
Users that are interested in unipi are comparing it to the libraries listed below
Sorting:
- What do you mean?☆44Updated 5 months ago
- Paste-eur as unikernel☆65Updated 5 months ago
- Implementation of SMTP protocols in OCaml☆44Updated last month
- Implementation of a matrix server in OCaml for MirageOS☆50Updated 2 years ago
- MirageOS on RPi4☆63Updated 2 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Declarative events and signals for OCaml☆50Updated last year
- A platform-agnostic multi-level index☆33Updated 4 months ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated 4 months ago
- A site generator in OCaml 🐫 (OCurrent pipelines too)☆68Updated 3 years ago
- A simple app to test out irmin and dream☆18Updated last month
- An opinionated implementation of the OpenVPN protocol☆79Updated 5 months ago
- Convert a filesystem into a static OCaml module☆77Updated 5 months ago
- MirageOS unikernels☆52Updated 3 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 9 months ago
- ☆28Updated 8 months ago
- Postes, Télégraphes et Téléphones☆28Updated 2 weeks ago
- Pretty printing library☆55Updated 8 months ago
- SSH chat server using trust on first use for user registration☆32Updated 2 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 11 months ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 4 years ago
- Relational database programming for OCaml (unreleased)☆40Updated 2 weeks ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last month
- An easy interface on top of the Irmin library.☆45Updated 5 years ago
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆43Updated 10 months ago
- ☆22Updated 4 months ago
- Bindings to the various POSIX APIs☆27Updated last month
- Irmin-based Markdown Editor☆48Updated 2 years ago
- Libraries for reliable manipulation JSON objects.☆24Updated 3 years ago
- ☆32Updated this week