Galois, Inc.'s repositories
byteorder
Rust library for reading/writing numbers in big-endian and little-endian.
haskell-tor
A Haskell implementation of the Tor protocol.
http-server
A Haskell HTTP server
strangeloop2017-saw
Presentation slides and examples for the SAW workshop at StrangeLoop 2017
saw-travis-example
Demo of how to set up SAW with Travis CI
language-slugs
A library for working with GR1 problems in the slugsin format
lean-protocol-support
This project contains various supporting libraries for lean to reason about protocols.
lean-saw-core
Translator from Lean theorem prover into saw-core
camkes-vm-manifest
CAmkES code and examples
lean-haskell-bindings
Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
dwarf-tools
A Haskell library for working with the DWARF debug format.
rumprun
The Rumprun unikernel and toolchain for various platforms
smaccmpilot-build
An umbrella repository including all of the dependencies to build the smaccmpilot project
smaccmpilot-stm32f4
SMACCMPilot flight controller
atom-sally
Atom to Sally translator
OpenAMASE
Project for simulating multi-UAV missions
nasa-affirm
Architectural Framework For Integrated Refinement Modeling