Galois, Inc.

smaccmpilot-hardware-prep

Utilities to prepare stock Pixhawk hardware for use with SMACCMPilot

ivory-rtverification

Runtime verification for C code via a GCC plugin architecture.

SPADE

SPADE fork

ivory-backend-acl2

An Ivory to ACL2 compiler.

hacl

Experimental High Assurance Cryptographic Library

icfpcontest2015

The 2015 ICFP Programming Contest

polarbn

planning-synthesis

sat2015-crypto

Slides and examples to accompany the September 25th invited talk at SAT 2015

halvm-base

Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE

why3

Haskell support for the Why3 input format

verification-game

stack

The Haskell Tool Stack

msf-haskell

Haskell implementation of Metasploit remote API

websockets-snap

Snap integration for the websockets library

halfs

The Haskell File System: A file system implementation in Haskell

smaccmpilot-gcs-gateway

SMACCMPilot project Ground Control Station (GCS) gateway: manages encryption of air data & radio flow control

mavelous

multi-platform ground station for drones that speak the MAVLink protocol

wai

Haskell Web Application Interface

cabal

Official upstream development repository for Cabal and cabal-install

rbovirt

a ruby client for ovirt

language-sal

SAL Model Generator

pads-haskell

A domain specific language for processing ad-hoc data.

tip

A model checker based on SAT solving and induction

minisat

A minimalistic and high-performance SAT solver

postgrest

REST API for any Postgres database

helib-demos

Experiments in homomorphic encryption

vagrant-ovirt3

Vagrant provider for oVirt and RHEV.

fog

The Ruby cloud services library.

Simplify

An automated solver for unsorted first-order logic over the AUFLIA theory.