Thomas Leonard's repositories

js-skeleton

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

Language:OCamlStargazers:25Issues:8Issues:0

mini-os

Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git

Language:CLicense:NOASSERTIONStargazers:6Issues:3Issues:0

functoria

A DSL to invoke otherworldly functors

Language:OCamlLicense:ISCStargazers:1Issues:2Issues:0

mirage-clock-test

An implementation of Mirage's CLOCK and TIME types for unit-tests

Language:OCamlLicense:BSD-2-ClauseStargazers:1Issues:3Issues:0

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 microkernel.

Language:CStargazers:1Issues:4Issues:0

0install-docker

Dockerfiles for installing 0install on various platforms for testing

License:Apache-2.0Stargazers:0Issues:2Issues:0

ansi-parse

Parse ANSI terminal escape codes into usable abstract representation.

Language:OCamlStargazers:0Issues:2Issues:0

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

conex-marrakesh

key signing

Stargazers:0Issues:2Issues:0

datakit

Connect processes into powerful data pipelines with a simple git-like filesystem interface

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

docker

Docker - the open-source application container engine

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

docker-rune

Build a Docker image of the E intepreter

Stargazers:0Issues:0Issues:0

engine-api

Go libraries providing client and server components compatible with the Docker engine

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

libnetwork

Docker Networking

Language:GoLicense:Apache-2.0Stargazers:0Issues:3Issues:0

linuxkit

A toolkit for building secure, portable and lean operating systems for containers

Language:LogosLicense:Apache-2.0Stargazers:0Issues:0Issues:0

linuxkit-ci

The CI configuration for testing https://github.com/linuxkit/linuxkit

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:2Issues:0

mirage-block-unix

Unix implementation of the Mirage V1.BLOCK.CLIENT interface

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-dev

Development OPAM repository for work-in-progress packages

Language:ShellStargazers:0Issues:3Issues:0

mirage-nat

interface for network address translation intended for use with mirage unikernels

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.

Stargazers:0Issues:0Issues:0

namespaces

Sane file naming for OCaml projects.

Language:OCamlStargazers:0Issues:2Issues:0

obus

Pure OCaml implementation of the D-Bus protocol

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-9p

An OCaml/Mirage-friendly implementation of the 9P protocol

Language:OCamlStargazers:0Issues:0Issues:0

ocaml-ci-scripts

Skeleton for Travis CI scripts

Language:ShellStargazers:0Issues:3Issues:0

ocaml-conduit

Resolve URIs into communication channels for Async or Lwt

Language:OCamlStargazers:0Issues:3Issues:0

ocaml-redis

Redis bindings for OCaml

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

ocaml-sha

Ocaml SHA 1 and 2 family implementation using a really fast C implementation

Language:CStargazers:0Issues:0Issues:0

ocurl

OCaml bindings to libcurl

Language:CLicense:MITStargazers:0Issues:2Issues:0

shared-memory-ring

Xen-style shared memory rings

Language:OCamlStargazers:0Issues:3Issues:0

swarmkit

A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.

Language:GoLicense:Apache-2.0Stargazers:0Issues:3Issues:0