Popular repositories Loading

1. session session Public

   Dependent Session Types

   Coq 3

2. code code Public

   ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center

   C 1

3. doc doc Public

   ArmoredSoftware documentation

   TeX 1

4. tpmEmulator tpmEmulator Public

   Haskell implementation of the Trusted Platform Module interface

   Haskell 1

5. armoredsoftware.github.io armoredsoftware.github.io Public

   ArmoredSoftware project website

   CSS

6. model model Public

   Basic model of armored software architecture

   Haskell