Galois, Inc.

FiveUI

Extensible UI Analysis in your browser

ardupilot-mega

Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE

vrep-quadcopter-plugin

SpreadsheetML

Haskell modules for generating SpreadsheetML (Excel files)

cryptol-examples

Example Cryptol specifications

libdl

smaccmpilot-experiencereport

SMACCMPilot project experience report

feed

A Haskell library for working with feeds.

flint2

My development repo for work on FLINT (Fast Library for Number Theory)

linux-deadline

Linux kernel with implementation of Earliest Deadline First scheduling algorithm

secure-sockets

A library for making secure connections between servers.

ocaml-xenstore-xen

Userspace and kernelspace ocaml xenstore servers which are tied to specific xen versions.

orc

Haskell Orc EDSL

ardupilot

Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE

delicious

A Haskell library to interact with the 'delicious' web-service.

hierarchical-exceptions

Template Haskell functions to easily create exception hierarchies

HTTP

Haskell HTTP package

ocaml-xenstore

A xenstore protocol implementation in ocaml

schedtool-dl

capdl-loader-app

The capDL initialiser for seL4.

cpio-odc

A simple OCaml CPIO file parser supporting the ODC format

cryptol-mode

A Cryptol major mode for Emacs.

exception-transformers

mirage

Cloud programming platform

mirage-console

Portable console handling for Mirage applications

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.

Mobius

opam-repo

Galois local OPAM repository

xenstore-flask

A Mandatory Access Control (MAC) security module for Mirage Xenstore

xenstore-policy

Flask security policy for the Mirage Xenstore