Haskell bindings for ABC
AES-GCM-SIV implementations (128 and 256 bit)
Proof of correctness for AES GCM SIV
Provides an interface for AIGs and word-level operations on them
A Haskell library making it easier to write Alex lexers.
Anastasia: ANnotated ASTs (Automated, SImple, Awesome)
Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
Utility functions for working with aterms as generated by Minitermite
A DSL for embedded hard realtime applications.
Atom to Sally translator
Haskell Avro Encoding and Decoding Native Support (no RPC)
Lattice-based integer linear programming solver
Bounded (limited capacity) channels for Haskell
Haskell library for efficiently building up buffers
Rust library for reading/writing numbers in big-endian and little-endian.
Official upstream development repository for Cabal and cabal-install
Component Architecture test suite and example apps.
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
The main CAmkES tool
Virtual Machine build as a CAmkES component.
CAmkES code and examples
The capDL initialiser for seL4.
Driver for verifying C libraries using the CBMC model-checker.
Paper on generalizing \alpha in HRI BAM paper to a distribution
Interface between config-value and System.GetOpt