MirageMirageOS is a library operating system that constructs unikernels
Stars: ✭ 1,707 (+9941.18%)
mirage-solo5Solo5 core platform libraries for MirageOS
Stars: ✭ 18 (+5.88%)
rekernelA minimal setup for writing Unikernels in ReasonML
Stars: ✭ 28 (+64.71%)
mini-osMinimalistic Operating System for Xen
Stars: ✭ 65 (+282.35%)
prometheusOCaml library for reporting metrics to a Prometheus server
Stars: ✭ 44 (+158.82%)
mirage-xmppImplementation of XMPP for MirageOS
Stars: ✭ 12 (-29.41%)
contrunoA TLS termination proxy as a MirageOS
Stars: ✭ 13 (-23.53%)
xenstats exporterPrometheus exporter for xen (Storage, Host CPUs, Memory usage)
Stars: ✭ 20 (+17.65%)
Qway-qubes-repoRepository is intended to provide patches and rpm specs with experimental features to run under the Qubes OS.
Stars: ✭ 19 (+11.76%)
henHaskell bindings to Xen hypervisor interface
Stars: ✭ 17 (+0%)
clickosThe Click modular router: fast modular packet processing and analysis
Stars: ✭ 127 (+647.06%)
scriptsame script
Stars: ✭ 13 (-23.53%)
uniprofA stack tracer/profiler for Xen domains
Stars: ✭ 29 (+70.59%)
xen-orchestra-ce🐳 Docker & docker-compose files to deploy Xen Orchestra Community Edition (ie: from sources)
Stars: ✭ 70 (+311.76%)
IrminBuilt-in Snapshotting - backup and restore
Storage Agnostic - you can use Irmin on top of your own storage layer
Custom Datatypes - (de)serialization for custom data types, derivable via
ppx_irmin
Highly Portable - runs anywhere from Linux to web browsers and Xen unikernels
Git Compatibility - irmin-git uses an on-disk format that can be
inspected and modified using Git
Dynamic Behavior - allows the users to define custom merge functions,
use in-memory transactions (to keep track of reads as well as writes) and
to define event-driven workflows using a notification mechanism
Stars: ✭ 1,524 (+8864.71%)
ocaml-pcapOCaml code for generating and analysing pcap (packet capture) files
Stars: ✭ 20 (+17.65%)
mirage-framebufferExperimental portable bitmap framebuffer graphics for MirageOS
Stars: ✭ 16 (-5.88%)
docteurAn opiniated file-system for MirageOS
Stars: ✭ 16 (-5.88%)
ocaml-x509X509 (RFC5280) handling in OCaml
Stars: ✭ 40 (+135.29%)
arpAddress resolution protocol (ARP) implementation in OCaml targeting MirageOS
Stars: ✭ 20 (+17.65%)
eye-of-mirageWiP image viewer using MirageOS
Stars: ✭ 16 (-5.88%)
keyfenderSecure HSM implementation based on MirageOS
Stars: ✭ 33 (+94.12%)
ocaml-dnsOCaml implementation of the DNS protocol
Stars: ✭ 93 (+447.06%)