Gwenaëlle Lecat's repositories
mirage-esp32-notes
Notes I took about my uses of the esp32 portage of mirageOS by @well-typed-lightbulbs
ocaml-gpio-esp32
GPIO driver for esp32 in OCaml
decompress
Pure OCaml implementation of Zlib.
dns-letsencrypt-secondary
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
dns-primary-git
A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository
dream
Tidy, feature-complete Web framework
gluten
Reusable runtime library for network protocols
httpaf
A high performance, memory efficient, and scalable web server written in OCaml
irmin
Irmin is a distributed database that follows the same design principles as Git
irmin-watcher
Portable implementation of the Irmin Watch API
notty
Declarative terminal graphics for OCaml
ocaml-base64
Base64 encoding and decoding in OCaml
ocaml-h2
An HTTP/2 implementation written in pure OCaml
ocaml-inotify
OCaml bindings for inotify.
ocaml-matrix
Implementation of a matrix server in OCaml for MirageOS
ocaml-mqtt
MQTT client for OCaml/ReasonML
opam-cross-esp32
Cross compilation libraries for OCaml on ESP32 development
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
paf-le-chien
Port of HTTP/AF with Mirage and Tuyau (Proof Of Concept)
pasteur
Paste-eur as unikernel
unipi
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel