7 open source projects by talex5

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

Scripts I use to test Mirage unikernels on QubesOS

collect activity and format as markdown for a journal

GTK and HTML viewers for mirage-profile trace files

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

Use Lwt libraries from within Eio

An example Mirage unikernel that runs as a Qubes AppVM