Ioannis Sfyrakis's repositories
errai
Errai
example-ocaml-merlin
An example of a simple project in OCaml that uses Merlin
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
hubpress.io
A web application to build your blog on GitHub
kie-uberfire-extensions
KIE extensions to UberFire framework
kie-wb-common
Shared screens, widgets and services for KIE workbenches.
kie-wb-distributions
Drools & jBPM Workbench Distributions
mirage-bootvar-xen
Library for reading MirageOS unikernel boot parameters in Xen
mirage-decks
These are the MirageOS slide decks, written as a self-hosting unikernel
mirage-net-xen
Xen Netfront ethernet device driver for Mirage
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 unikernel.
mirage-profile
Collect profiling information
mirage-seal
Sealing local directories into Mirage Unikernels
mirage-skeleton
Build skeleton and examples of simple Mirage apps
mirage-trace-viewer
GTK and HTML viewers for mirage-profile trace files
mirage-xen-minios
Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm
ocaml-bitcoin
OCaml-bitcoin is a library offering an OCaml interface to the official Bitcoin client API
ocaml-cstruct
Map OCaml arrays onto C-like structs
ocaml-dns-examples
introduction to ocaml-dns for MirageOS
ocaml-xenstore-clients
Unix client tools for accessing xenstore
testvm-idl
Interface description for the Xen test VM