TheOtherAdam's repositories

solo5

The Solo5 unikernel

Language:CLicense:ISCStargazers:2Issues:2Issues:5
Language:DockerfileLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

ksm

A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

mirage-solo5

Solo5 core platform libraries for MirageOS

Language:CLicense:ISCStargazers:0Issues:2Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

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

ocaml-freestanding

Freestanding OCaml runtime

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

openbsd-ports

Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.

Language:MakefileStargazers:0Issues:1Issues:0

openbsd-src

Public git conversion mirror of OpenBSD's official cvs src repository.

Language:CStargazers:0Issues:2Issues:0

panic

A setup to panic OpenBSD

Language:ShellLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

React-For-Beginners-Starter-Files

Starter files for learning React.js with React for Beginners

Language:JavaScriptStargazers:0Issues:1Issues:0

solo5-ci

Solo5 CI build recipes

Language:ShellStargazers:0Issues:2Issues:0

test_net_2if

convert test_net_2if to a unix app

Language:CLicense:ISCStargazers:0Issues:1Issues:0

tmk_keyboard

Keyboard firmwares for Atmel AVR and Cortex-M

Language:CStargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:2Issues:0

unikernels

The Unikernels I use

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