Python Routeing Toolkit

Real-time sensor for the Cambridge Coffee Pot (Computer Lab)

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

A toolkit for creating and managing declarative, self-healing infrastructure.

A toolkit for embedding hypervisor capabilities in your application

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

A toolkit for embedding VPN capabilities in your application

Turn (almost) any Python command line program into a full GUI application with one line

Map OCaml arrays onto C-like structs via a syntax extension, and generate functions to convert to-and-from native OCaml values.

A library to transform public key files between different formats

OPAM package repository for Mirage and related packages

Development OPAM repository for work-in-progress packages

Web pages

OPAM package repository for Mirage and related packages

Map OCaml arrays onto C-like structs

Parser for MRT format trace files

Map OCaml arrays onto C-like structs

Persistent workflows for Lwt/OCaml

Persistent workflows for Lwt/OCaml

Development Studio for OCaml

A basic HTTP daemon implemented on top of ocaml-cohttp

Lwt_log plugin which outputs to a sweet Bootstrap HTTP debug interface

An interactive SSL-capable intercepting HTTP proxy for penetration testers and software developers

Lwt_log plugin which outputs to a sweet Bootstrap HTTP debug interface

Signpost library and client/server implementation

Signpost library and client/server implementation

Github APIv3 OCaml bindings