Skip to content
View dsheets's full-sized avatar
  • Cambridge, UK

Highlights

  • Pro

Organizations

@mirage @ocaml @ocamllabs @effuse

Block or report dsheets

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
18 stars written in Shell
Clear filter

Bash Automated Testing System

Shell 7,114 516 Updated Sep 27, 2019

A container that syncs files between two configurable directories.

Shell 223 39 Updated Dec 3, 2018

An OCaml cross-toolchain for Android and several useful libraries

Shell 107 15 Updated Mar 31, 2022

Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubieboard

Shell 58 35 Updated Apr 12, 2019

OCaml 4.02 cross compiler for the rumprun unikernel stack

Shell 50 6 Updated Dec 8, 2015

Docker container for an OCaml + OPAM setup

Shell 24 2 Updated Nov 28, 2016

A small script to create short-lived OPAM compiler switches from experimental OCaml branches

Shell 18 7 Updated Jan 4, 2019

Bootstrap scripts to build standalone OPAM projects

Shell 15 2 Updated Nov 9, 2017

Dev versions of the tools used to build the upcoming platform

Shell 8 6 Updated Feb 11, 2015

Docker container for an OCaml + OPAM setup

Shell 7 Updated Dec 12, 2013

Development OPAM repository for work-in-progress packages

Shell 7 8 Updated Mar 22, 2018

OPAM plugin to install external system libraries alongside OPAM packages

Shell 5 1 Updated May 5, 2015

CUDF solver stub that behaves like a CUDF solver, but delegates solving to a remote solving farm

Shell 5 Updated May 8, 2014

SibylFS test suite

Shell 4 Updated Aug 19, 2015
Shell 4 4 Updated Apr 10, 2015

Helpers to release opam packages

Shell 3 Updated Jul 11, 2015

Scripts for building the OPAM archive using Docker; results in avsm/opam-bulk-logs

Shell 2 Updated Jul 18, 2016