There are no reviews yet. Be the first to send feedback to the community and the maintainers!
cuekeeper
Browser-based GTD (TODO list) system. No server needed.ocaml-wayland
Pure OCaml Wayland protocol implementationirmin-indexeddb
An Irmin backend for a web browser's IndexedDB storeirmin-js
Javascript bindings for Irminjs-skeleton
sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`get-activity
collect activity and format as markdown for a journalmirage-trace-viewer
GTK and HTML viewers for mirage-profile trace filesspec-vchan
A TLA+ specification for the Xen vchan protocoltla
A Dockerfile for building the TLA+ toolsasync_eio
Run Async code from within Eioqubes-test-mirage
Scripts I use to test Mirage unikernels on QubesOSasync-eio-lwt-chimera
Proof-of-concept for Async/Eio/Lwt in one processirmin-www
Irmin-based web serveropam-bulk-build-ui
Prototype of possible new UIlang-tests
A test repository for testing various languageszarith
zarith with fixes for Miragemirage-trace-dump-xen
Dump the CTF trace of a running mirage-xen unikernelxen-paratest
Test-case for Xen/ARMirmin-filer
Irmin demo - offline browser file manager with syncmirage-clock-test
An implementation of Mirage's CLOCK and TIME types for unit-testsLove Open Source and this site? Check out how you can help us