The cao package

[Tags: gpl, program]

CAO Compiler


Properties

Versions0.1, 0.1.1
Dependenciesarray, base (==4.*), cmdargs, ConfigFile, containers, directory, dlist, filepath, language-c, mtl, pretty, process, yices
LicenseGPL
AuthorCryptography and Information Security Group, HASLab - INESC TEC and Universidade do Minho
MaintainerPaulo Silva <paufil@di.uminho.pt>
Stabilityexperimental
CategoryCompiler, Cryptography, Language
Home pagehttp://haslab.uminho.pt/mbb/software/cao-domain-specific-language-cryptography
Bug trackermailto:paufil@di.uminho.pt
Executablescao
Upload dateMon Apr 7 18:21:53 UTC 2014
Uploaded bytfaoliveira
Downloads111 total (25 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees