Pierre Alain's repositories
arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
charrua
A DHCP library in OCaml
cowgol
A self-hosted Ada-inspired programming language for very small systems.
ethernet
Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml
FUZIX
FuzixOS: Because Small Is Beautiful
mirage
MirageOS is a library operating system that constructs unikernels
mirage-flow
Flow implementations for Mirage
mirage-nat
library for network address translation intended for use with mirage unikernels
mirage-net
Network devices for MirageOS
mirage-net-solo5
Solo5 implementation of MirageOS network interface
mirage-net-xen
Xen Netfront and Netback ethernet device drivers for Mirage
mirage-qubes
Mirage support for writing QubesOS AppVM unikernels
mirage-solo5
Solo5 core platform libraries for MirageOS
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
mirage-vnetif
Virtual network interface and software bridge for Mirage
miragevpn
An opinionated implementation of the OpenVPN protocol
ocaml-dns
OCaml implementation of the DNS protocol
ocaml-gnt
OCaml bindings to the Xen grant tables libraries
ocaml-solo5
Freestanding OCaml runtime
ocaml-tls
TLS in pure OCaml
ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
qubes-doc
Qubes documentation
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
solo5
A sandboxed execution environment for unikernels