Pinned Repositories
art
Adaptive Radix Tree in OCaml
bob
A peer-to-peer file-transfer tool in OCaml
cri
IRC protocol in OCaml
docteur
An opiniated file-system for MirageOS
esperanto
build-once run-anywhere OCaml programs
gilbraltar
MirageOS on RPi4
hxd
J'ai plus mal à la tête maintenant
multipart_form
According an other RFC2388...
paf-le-chien
Port of HTTP/AF & H2 with Mirage and mimic
pasteur
Paste-eur as unikernel
dinosaure's Repositories
dinosaure/esperanto
build-once run-anywhere OCaml programs
dinosaure/bob
A peer-to-peer file-transfer tool in OCaml
dinosaure/pasteur
Paste-eur as unikernel
dinosaure/art
Adaptive Radix Tree in OCaml
dinosaure/paf-le-chien
Port of HTTP/AF & H2 with Mirage and mimic
dinosaure/docteur
An opiniated file-system for MirageOS
dinosaure/hxd
J'ai plus mal à la tête maintenant
dinosaure/multipart_form
According an other RFC2388...
dinosaure/blaze
dinosaure/contruno
A TLS termination proxy as a MirageOS
dinosaure/blogger
The source code of the generator and the content of blog.osau.re
dinosaure/ocaml-dmarc
dinosaure/ca-certs-nss
CA certificates extracted from NSS, to be used with MirageOS
dinosaure/happy-eyeballs
An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
dinosaure/ocaml-x509
X509 (RFC5280) handling in OCaml
dinosaure/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
dinosaure/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
dinosaure/ca-certs
Detect root CA certificates from the operating system
dinosaure/maintenance-intent-filter
implmentation of x-maintenance-intent
dinosaure/mirage-crypto
Cryptographic primitives for MirageOS
dinosaure/ocaml-caqti
Cooperative-threaded access to relational data
dinosaure/ocaml-dns
OCaml implementation of the DNS protocol
dinosaure/ocaml-tls
TLS in pure OCaml
dinosaure/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
dinosaure/oneffs
Single file filesystem for MirageOS - mirror
dinosaure/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
dinosaure/ring
A statically generated webring with YOCaml, because we love small-web
dinosaure/solo5
A sandboxed execution environment for unikernels
dinosaure/utcp
An implementation of the Transmission Control Protocol in OCaml
dinosaure/yocaml
YOCaml is a static site generator, mostly written in OCaml