Ioannis Sfyrakis's repositories
mirage-block-xen
Client and server implementations of the xen paravirtualised block driver protocol
mirage-xen-virtualbox
Packer template to build Vagrant based Ubuntu + Xen development environment
ocaml-evtchn
Xen event channel interface for Mirage
mirage-performance
Performance testing script for MirageOS
git-commits-to-rescuetime-daily-highlights
An example script to show how to log code commits as Daily Highlights in RescueTime
xen-disk
Command-line tool for attaching virtual disks to xen virtual machines
xmlm
Streaming XML codec for OCaml
ocamlunix
Unix system programming in OCaml book
origin
OpenShift 3 - build, deploy, and manage your applications with Docker and Kubernetes
vimrc
The ultimate Vim configuration: vimrc
ocaml-xenstore-server
Mirage Xenstore daemon
wildfly
WildFly Application Server
newcastle-semester-weeks
Make an ICAL feed for Newcastle Calendar weeks
quickstart
Holds all versioned docs & samples
alloy-coin
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
xen-testvm
Test VM to run on the Xen Hypervisor, based on Mirage
ocaml-xenstore-xen
Userspace and kernelspace ocaml xenstore servers which are tied to specific xen versions.
NOVA
NOVA Microhypervisor
vim
My Vim configuration.
XenAnalyze
This is a place for my graduate work. Mostly just configuration files and scripts to build virtual machines for testing and analysis
sublime-mit-alloy
Simple syntax highlighting for MIT's Alloy relational language in Sublime Text 3.
continuous-enterprise-development
Testable Solutions for Modern Applications