Thomas Leonard

cuekeeper. Browser-based GTD (TODO list) system. No server needed.

wayland-proxy-virtwl. Allow guest VMs to open windows on the host

ocaml-wayland. Pure OCaml Wayland protocol implementation

irmin-indexeddb. An Irmin backend for a web browser's IndexedDB store

irmin-js. Javascript bindings for Irmin

js-skeleton. sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

mirage-trace-viewer. GTK and HTML viewers for mirage-profile trace files

get-activity. collect activity and format as markdown for a journal

spec-vchan. A TLA+ specification for the Xen vchan protocol

tla. A Dockerfile for building the TLA+ tools

async_eio. Run Async code from within Eio

qubes-test-mirage. Scripts I use to test Mirage unikernels on QubesOS

async-eio-lwt-chimera. Proof-of-concept for Async/Eio/Lwt in one process

qubes-mirage-firewall. A Mirage firewall VM for QubesOS

mini-os. Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git

vulkan-test. A simple Vulkan/Wayland test program for tracing purposes

opam-bulk-build-ui. Prototype of possible new UI

xen. Unofficial mirror of xenbits.xen.org/xen.git

irmin-www. Irmin-based web server

lang-tests. A test repository for testing various languages

ocurrent. Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

openlibm. High quality system independent, open source libm.

xkbcommon. OCaml bindings to libxkbcommon.

zarith. zarith with fixes for Mirage

hmrc-vat-mtd-hledger-bridge. Software I use for taxes (only useful for me)

mirage-trace-dump-xen. Dump the CTF trace of a running mirage-xen unikernel

ocaml-dockerfile. OCaml interface for creating Dockerfiles

ocaml-cairo. Binding to Cairo, a 2D Vector Graphics Library.

mirage-platform. Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.

mirage-www. Website infrastructure for openmirage.org

irmin. Irmin is a distributed database that follows the same design principles as Git

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

ocaml-xenstore. A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.

lwt. A cooperative threads library for OCaml.