CD2H gitForager

Galois, Inc.

Login: GaloisInc

Company: null

Location: Portland, OR

email:

Blog: http://galois.com

Members

Repositories

abc: ABC: System for Sequential Logic Synthesis and Formal Verification
abcBridge: Haskell bindings for ABC
AES-GCM-SIV: AES-GCM-SIV implementations (128 and 256 bit)
AES-GCM-SIV-proof: Proof of correctness for AES GCM SIV
aig: Provides an interface for AIGs and word-level operations on them
alex-tools: A Haskell library making it easier to write Alex lexers.
amase-code-generator: null
anastasia: Anastasia: ANnotated ASTs (Automated, SImple, Awesome)
ardupilot: Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
ardupilot-mega: Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
aterm-utils: Utility functions for working with aterms as generated by Minitermite
atom: A DSL for embedded hard realtime applications.
atom-sally: Atom to Sally translator
AVAMP_UAV_Platform: Mission computer and infrastructure repo
avro: Haskell Avro Encoding and Decoding Native Support (no RPC)
blt: Lattice-based integer linear programming solver
BoundedChan: Bounded (limited capacity) channels for Haskell
buffer-builder: Haskell library for efficiently building up buffers
buildroot: Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
byteorder: Rust library for reading/writing numbers in big-endian and little-endian.
cabal: Official upstream development repository for Cabal and cabal-install
cabal-graphdeps: null
camkes: Component Architecture test suite and example apps.
camkes-apps-ethernet-demo-x86--devel: null
camkes-manifest: Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
camkes-tool: The main CAmkES tool
camkes-vm: Virtual Machine build as a CAmkES component.
camkes-vm-manifest: CAmkES code and examples
capdl-loader-app: The capDL initialiser for seL4.
cbmc-reporter: Driver for verifying C libraries using the CBMC model-checker.
cereal: null
CMU: Paper on generalizing \alpha in HRI BAM paper to a distribution
config-value-getopt: Interface between config-value and System.GetOpt
Copilot: A (Haskell DSL) stream language for generating hard real-time C code.
cpio-odc: A simple OCaml CPIO file parser supporting the ODC format
crucible: Crucible is a library for symbolic simulation of imperative programs
cryfsm: convert simple cryptol expressions into finite-state machines
cryptol: Cryptol: The Language of Cryptography
cryptol-examples: Example Cryptol specifications
cryptol-layer: A Spacemacs layer for editing Cryptol files.
cryptol-mode: A Cryptol major mode for Emacs.
cryptol-semantics: Semantics for Cryptol
cryptol-verifier: The Cryptol Symbolic Simulator, part of SAW.
cryptol-vscode: Visual Studio Code plugin for Cryptol
curl: A Haskell binding to the curl library
ddosflowgen: Simulate DDoS attacks and generate traffic datasets
delicious: A Haskell library to interact with the 'delicious' web-service.
DSA: Haskell DSA implementation.
dwarf: Haskell library for parsing DWARF object format
dwarf-tools: A Haskell library for working with the DWARF debug format.
e2eviv: Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
ec2-unikernel: Tool for uploading unikernels into EC2
echronos: The eChronos real-time operating system
editline: Patched `editline` library for use on internal project. Should just port to `haskeline`: https://hackage.haskell.org/package/haskeline.
elf: Fork of the `elf` ELF Haskell library with additional features. This fork is called `elf-galois`.
elf-edit: The elf-edit library provides a datatype suitable for reading and writing Elf files.
ESCJava2: The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.
estimator: State-space estimation algorithms and models
exception-transformers: null
feed: A Haskell library for working with feeds.
FiveUI: Extensible UI Analysis in your browser
fixedbitset: A simple bitset container for Rust
flexdis86: A library for disassembling x86-64 binaries.
flint2: My development repo for work on FLINT (Fast Library for Number Theory)
fog: The Ruby cloud services library.
FreeRTOS-Xen: FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
galua: Lua debugger and interpreter
gec: Embedded-friendly crypto a la SMACCM
GF-Java-API: A Java API to the Grammatical Framework (http://www.grammaticalframework.org/)
gghlite-flint: Fork of an implementation of GGHLite
ghc-srcspan-plugin: null
gidl: Gidl: an Interface Description Language
golang: Parser and type analysis for the Go programming language
grappa: null
grappa-coq: A formalization of the Grappa PPL in Coq
grappa-dpmix-sampler: A C library for sampling from Dirichlet process mixture models created by Grappa
hacl: Experimental High Assurance Cryptographic Library
hacrypto: Experiments in high-assurance crypto.
halfs: The Haskell File System: A file system implementation in Haskell
HaLVM: The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm-base: Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE
HaLVM-Docker: Docker build images for the HaLVM
halvm-ghc: Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:
halvm-musl: Fork of the musl C library, for use in the HaLVM.
halvm.org: The source code for halvm.org
HaLVM-Vagrant: Vagrant and Ansible scripts for building HaLVM development machines.
halvm-web: null
HaNS: The haskell network stack
haskell-tor: A Haskell implementation of the Tor protocol.
helib-demos: Experiments in homomorphic encryption
hexdump: A human readable style for binary data.
hierarchical-exceptions: Template Haskell functions to easily create exception hierarchies
hpb: Haskell Protocol Buffers
HTTP: Haskell HTTP package
http-server: A Haskell HTTP server
icfpcontest2015: The 2015 ICFP Programming Contest
ICryptol: IPython-style interaction for Cryptol
ivory: The Ivory EDSL
ivory-backend-acl2: An Ivory to ACL2 compiler.
ivorylang-org: Sources for the http://ivorylang.org website.
ivory-rtverification: Runtime verification for C code via a GCC plugin architecture.
ivory-tower-posix: POSIX/libev-based Tower backend for testing
ivory-tower-stm32: Tower backend and Ivory board support package for the STM32 line of microcontrollers
janusgraph: JanusGraph: an open-source, distributed graph database
JavaFE: The Java Front End for ESC/Java2 (and other tools)
json: Haskell JSON library
jvm-parser: A Haskell parser for JVM bytecode files
jvm-verifier: The Java Symbolic Simulator, part of SAW.
language-sal: SAL Model Generator
language-sally: AST and pretty printer for the Sally input language
language-slugs: A library for working with GR1 problems in the slugsin format
lean: Lean Theorem Prover
lean-haskell-bindings: Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
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
libdl: null
libsignal-protocol-c: Signal Protocol C Library
LIMA: LIMA: Language for Integrated Modeling and Analysis
LinearArbitrary-SeaHorn: LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
linux-deadline: Linux kernel with implementation of Earliest Deadline First scheduling algorithm
linux-ptrace: Fork of haskell package linux-ptrace, updated for ghc 7.8
llvm-pretty: An llvm pretty printer inspired by the haskell llvm binding
llvm-pretty-bc-parser: Parser for the llvm bitcode format
llvm-verifier: The LLVM Symbolic Simulator, part of SAW.
LmcpGen: Project to auto-create libraries adhering to the LMCP specification
loi: Levels of Interoperability Models
lpg: Language for Processing Graphs
lua-bc: Lua bytecode parser
macaw: Open source binary analysis tools.
matasano-cryptopals-solutions: Matasano CryptoPals Solutions
mavelous: multi-platform ground station for drones that speak the MAVLink protocol
mavlink: MAVLink micro air vehicle marshalling / communication library
mime: A Haskell MIME library
minisat: A minimalistic and high-performance SAT solver
minlibc: null
mirage: Cloud programming platform
mirage-console: Portable console handling for Mirage applications
mirage-flask-xen: OCaml bindings to Xen XSM/Flask hypercalls
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.
mir-json: Plugin for rustc to dump MIR in JSON format
mir-verifier: SAW front end for the MIR language from rustc
mistral: An interpreter for the Mistral language.
mmc-paper: Modular Model Checking Paper
Mobius: null
monadIO: MonadIO provides for many IO operations to be overloaded over other IO-like monads.
msf-haskell: Haskell implementation of Metasploit remote API
nasa-affirm: Architectural Framework For Integrated Refinement Modeling
network-hans: HaNS <-> Network Shims for easier porting to HaNS and the HaLVM
num-integer: Integer trait and functions for Rust
ocaml-xenstore: A xenstore protocol implementation in ocaml
ocaml-xenstore-server: Mirage Xenstore daemon
ocaml-xenstore-xen: Userspace and kernelspace ocaml xenstore servers which are tied to specific xen versions.
opam-repo: Galois local OPAM repository
OpenAMASE: Project for simulating multi-UAV missions
OpenUxAS: Project for multi-UAV cooperative decision making
orc: Haskell Orc EDSL
pads-haskell: A domain specific language for processing ad-hoc data.
parameterized-utils: A set of utilities for using indexed types including containers, equality, and comparison.
pcap: Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.
planning-synthesis: null
polarbn: null
posix-waitpid: Fork of posix-waitpid from hackage
postgrest: REST API for any Postgres database
pure-zlib: A Haskell-only implementation of zlib / DEFLATE.
pwms-instances: Instances for Partially Weighted MaxSAT generated from SMACCMPilot benchmarks.
pycryptol: pycryptol: Use Cryptol with Python
quickcheck: Automatic testing of Haskell programs.
rbovirt: a ruby client for ovirt
RCC: A Race Condition Checker for Java
reference: Reference manual for the Lean theorem prover
regex-fsm: Convert regular expressions into efficient matrix branching programs
reopt: A tool for analyzing x86-64 binaries.
RSA: Haskell RSA Library
rs_camkes: obsolete, use https://github.com/GaloisInc/camkes-tool rust branch instead
rs_camkes-vm: obsolete, should use https://github.com/GaloisInc/camkes-vm "rust" branch
rs_capdl: obsolete
rs_global-components: obsolete
rs_jemalloc: obsolete
rs_liblibc: a customized libc used by seL4 camkes Rust apps which depend on libc. In such case, in Cargo.toml [dependecies] point the libc to libc = { optional = true, git = "https://github.com/GaloisInc/rs_liblibc.git" }
rs_musllibc: obsolete
rs_picotcp: obsolete
rs_rustwall: obsolete, use https://github.com/GaloisInc/rustwall instead (either "no_std" or "seL4" branch)
rs_seL4: obsolete
rs_seL4_libs: obsolete
rs_seL4_tools: obsolete, use https://github.com/GaloisInc/seL4_tools "rust" branch instead
rs_smoltcp: obsolete, use https://github.com/GaloisInc/smoltcp instead, branch "firewall"
rs_util_libs: obsolete
rumprun: The Rumprun unikernel and toolchain for various platforms
rust-cbor: CBOR (binary JSON) for Rust with automatic type based decoding and encoding.
rust-crc16: null
rustwall: Rust firewall for seL4
rustwall_vm: High-level repo containing manifest and recipes for building seL4 with camkes (+vm) and Rust support
s2n: s2n : an implementation of the TLS/SSL protocols
safeware-benchmark: SAFEWARE Program Obfuscation Benchmark
salty: A DSL for generating GR(1) problems
sat2015-crypto: Slides and examples to accompany the September 25th invited talk at SAT 2015
saw-core: The SAW core language.
saw-core-aig: Simulator backend for saw-core based on AIGs
saw-core-easycrypt: Translator from SAWCore to EasyCrypt
saw-core-sbv: Simulator backend for saw-core based on SBV
saw-script: The SAW scripting language.
saw-travis-example: Demo of how to set up SAW with Travis CI
s-cargot-letbind: Enables let-binding and let-expansion for https://github.com/aisamanra/s-cargot defined S-expressions
schedtool-dl: null
secure-sockets: A library for making secure connections between servers.
seL4: The seL4 microkernel
seL4_libs: null
sel4-rust: rust compiler fork (with stubbed-out sel4 support)
seL4_tools: null
self-aware-pinball: What happens when you connect Arduinos, a Kinect, and a pinball machine? The self-aware pinball.
SHA: Haskell implementation of SHA / SHA2 hash functions
sha512-gen: SHA2-512 with an actually useful interface.
simple-tar: A very simple tar archive processing library
Simplify: An automated solver for unsorted first-order logic over the AUFLIA theory.
sk-config-example: null
sk-config-example-manifest: null
sk-dev-platform: Development platform for prototyping separation kernel applications
smaccmpilot-build: An umbrella repository including all of the dependencies to build the smaccmpilot project
smaccmpilot-experiencereport: SMACCMPilot project experience report
smaccmpilot-gcs-gateway: SMACCMPilot project Ground Control Station (GCS) gateway: manages encryption of air data & radio flow control
smaccmpilot-hardware-prep: Utilities to prepare stock Pixhawk hardware for use with SMACCMPilot
smaccmpilot-org: http://smaccmpilot.org sources
smaccmpilot-SiK: Tools and firmware for the Si1000
smaccmpilot-stm32f4: SMACCMPilot flight controller
smoltcp: a smol tcp/ip stack
SPADE: SPADE fork
SpreadsheetML: Haskell modules for generating SpreadsheetML (Excel files)
sqlite: A simple sqlite3 library for Haskell
stack: The Haskell Tool Stack
strangeloop2017-saw: Presentation slides and examples for the SAW workshop at StrangeLoop 2017
summer-of-haskell: null
TAMBA: null
TCP-IU: Team Challenge Problem - modularity in Bayesian language models
testrepo: Test Repository
tip: A model checker based on SAT solving and induction
tower: A concurrency framework for the Ivory language
tower-camkes-odroid: null
util_libs: null
vagrant-ovirt3: Vagrant provider for oVirt and RHEV.
verification-game: null
vim-salty: Vim mode for the Salty DSL
vrep-quadcopter-plugin: null
wai: Haskell Web Application Interface
websockets-snap: Snap integration for the websockets library
why3: Haskell support for the Why3 input format
xenstore-flask: A Mandatory Access Control (MAC) security module for Mirage Xenstore
xenstore-policy: Flask security policy for the Mirage Xenstore
xml: Haskell XML library

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.