Pinned Repositories
MQTT_VPN
IP over MQTT for ESP controllers and Linux
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
buddy-allocator
chamelon
a small, simple block-backed key-value store for MirageOS
cowgol
A self-hosted Ada-inspired programming language for very small systems.
esp8266_maze
mirage-sshfs
solo5memory
torrefacteur
palainp's Repositories
palainp/mirage-sshfs
palainp/torrefacteur
palainp/solo5memory
palainp/cowgol
A self-hosted Ada-inspired programming language for very small systems.
palainp/dns-resolver
palainp/eqaf
Constant time equal function to avoid timing attacks in OCaml
palainp/m3d
palainp/mirage
MirageOS is a library operating system that constructs unikernels
palainp/mirage-block-xen
Client and server implementations of the xen paravirtualised block driver protocol
palainp/mirage-crypto
Cryptographic primitives for MirageOS
palainp/mirage-net-solo5
Solo5 implementation of MirageOS network interface
palainp/mirage-net-xen
Xen Netfront and Netback ethernet device drivers for Mirage
palainp/mirage-qubes
Mirage support for writing QubesOS AppVM unikernels
palainp/mirage-solo5
Solo5 core platform libraries for MirageOS
palainp/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
palainp/miragevpn
An opinionated implementation of the OpenVPN protocol
palainp/ocaml-asn1-combinators
Embed typed ASN.1 grammars in OCaml
palainp/ocaml-cstruct
Map OCaml arrays onto C-like structs
palainp/ocaml-dns
OCaml implementation of the DNS protocol
palainp/ocaml-gnt
OCaml bindings to the Xen grant tables libraries
palainp/ocaml-solo5
Freestanding OCaml runtime
palainp/ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
palainp/opam-repository
Main public package repository for opam, the source package manager of OCaml.
palainp/qubes-doc
Qubes documentation
palainp/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
palainp/qubes-mirage-with-block
palainp/qubes-miragevpn
palainp/shared-memory-ring
Xen-style shared memory rings
palainp/solo5
A sandboxed execution environment for unikernels
palainp/utcp
An implementation of the Transmission Control Protocol in OCaml