GaloisInc/sk-config-example
Public repository.
Developer Profile
GaloisInc
Discovered public repositories for GaloisInc in the GitHub catalog.
GaloisInc/ivorylang-org
Sources for the http://ivorylang.org website.
GaloisInc/llvm-pretty-bc-parser
Parser for the llvm bitcode format
GaloisInc/loi
Levels of Interoperability Models
GaloisInc/capdl-loader-app
The capDL initialiser for seL4.
GaloisInc/camkes-tool
The main CAmkES tool
GaloisInc/jvm-parser
A Haskell parser for JVM bytecode files
GaloisInc/nasa-affirm
Architectural Framework For Integrated Refinement Modeling
GaloisInc/abcBridge
Haskell bindings for ABC
GaloisInc/aig
Provides an interface for AIGs and word-level operations on them
GaloisInc/minlibc
Public repository.
GaloisInc/e2eviv
Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
GaloisInc/ocaml-xenstore-xen
Userspace and kernelspace ocaml xenstore servers which are tied to specific xen versions.
GaloisInc/ocaml-xenstore
A xenstore protocol implementation in ocaml
GaloisInc/opam-repo
Galois local OPAM repository
GaloisInc/mirage-console
Portable console handling for Mirage applications
GaloisInc/mirage
Cloud programming platform
GaloisInc/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.
GaloisInc/xenstore-flask
A Mandatory Access Control (MAC) security module for Mirage Xenstore
GaloisInc/xenstore-policy
Flask security policy for the Mirage Xenstore
GaloisInc/cpio-odc
A simple OCaml CPIO file parser supporting the ODC format
GaloisInc/hacrypto
Experiments in high-assurance crypto.
GaloisInc/exception-transformers
Public repository.
GaloisInc/HTTP
Haskell HTTP package
GaloisInc/network-hans
HaNS <-> Network Shims for easier porting to HaNS and the HaLVM
GaloisInc/cryptol
Cryptol: The Language of Cryptography
GaloisInc/smaccmpilot-org
http://smaccmpilot.org sources
GaloisInc/smaccmpilot-experiencereport
SMACCMPilot project experience report
GaloisInc/hierarchical-exceptions
Template Haskell functions to easily create exception hierarchies
GaloisInc/smaccmpilot-gcs-gateway
SMACCMPilot project Ground Control Station (GCS) gateway: manages encryption of air data & radio flow control
GaloisInc/smaccmpilot-SiK
Tools and firmware for the Si1000
GaloisInc/cryptol-examples
Example Cryptol specifications
GaloisInc/ivory-rtverification
Runtime verification for C code via a GCC plugin architecture.
GaloisInc/vrep-quadcopter-plugin
Public repository.
GaloisInc/smaccmpilot-build
An umbrella repository including all of the dependencies to build the smaccmpilot project
GaloisInc/tower
A concurrency framework for the Ivory language
GaloisInc/ivory
The Ivory EDSL
GaloisInc/cbmc-reporter
Driver for verifying C libraries using the CBMC model-checker.
GaloisInc/halvm-base
Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE
GaloisInc/halvm-ghc
Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:
GaloisInc/mavlink
MAVLink micro air vehicle marshalling / communication library
GaloisInc/orc
Haskell Orc EDSL
GaloisInc/ardupilot
Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
GaloisInc/smaccmpilot-stm32f4
SMACCMPilot flight controller
GaloisInc/aterm-utils
Utility functions for working with aterms as generated by Minitermite
GaloisInc/secure-sockets
A library for making secure connections between servers.
GaloisInc/ardupilot-mega
Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
GaloisInc/hexdump
A human readable style for binary data.
GaloisInc/monadIO
MonadIO provides for many IO operations to be overloaded over other IO-like monads.
GaloisInc/Copilot
A (Haskell DSL) stream language for generating hard real-time C code.