Thomas Gazagnaire's repositories
ocaml-lz77
LZ77 compression algorithm
ocaml-huffman-code
Huffman codes in pure OCaml
ocaml-dumpast
OCaml AST dumper - produce an AST from a source file, while optionally applying a pre-processor
merge-queues
Mergeable queues
mirage-perf-1
Performance testing script for MirageOS
arbitrary-network
Library for making arbitrary network structures for use with ocaml-quickcheck and ocaml-cstruct .
codoc
OCaml documentation and code maintenance
dolog
A dumb OCaml logger
imaplet-lwt
imaplet revamp with Lwt
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
merge-ropes
Mergeable ropes
mirage-mimic
A local unikernel that imitates remote hosts
mirage-profile
Collect profiling information
mirage-stats-demo
Unikernel that displays stats on a web page
mirage-trace-viewer
GTK and HTML viewers for mirage-profile trace files
mirage-vagrant-vms
Packer and Vagrant images for building Mirage
ocaml-containers
A small standard library extension, string library, and (in "misc") a bunch of random things of lower quality. BSD license.
ocaml-libmacaroons
An OCaml ctypes binding to libmacaroons
ocaml-mbr
A simple library for manipulating Master Boot Records
ocaml-nat
interface for network address translation intended for use with mirage unikernels
ocaml-scry
Foretell the future using a crystal ball
ocaml-tuntap
Bindings to UNIX tuntap facilities
ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in Mirage OS applications.
ocl-reporter
Report generator for OCaml Labs
platform-blog
Repository for the Platform blog
shared-memory-ring
Xen-style shared memory rings
simple-nat
Demonstration NATting unikernel.