Name		Name	Last commit message	Last commit date
appraisal		appraisal
armored-config		armored-config
attestation		attestation
certificateAuthority		certificateAuthority
negotiationtools		negotiationtools
outerappraiser		outerappraiser
outerattester		outerattester
protoMonad		protoMonad
provisioning		provisioning
remoteMonad		remoteMonad
shared		shared
.gitignore		.gitignore
README.md		README.md
buildSendAll.sh		buildSendAll.sh

Repository files navigation

protocolImplementation

Haskell core infrastructure for implementation of ArmoredSoftware protocols

About

Haskell core infrastructure for implementation of ArmoredSoftware protocols

Custom properties

0 stars

12 watching

Report repository

Releases

Packages

Contributors

Languages