raaz-crypto

Pinned Repositories

aim
Abandoned: A haskell DSL for generating assembly code.
Language:Haskell1 4 14
docker-haskell-ci
Abandoned: Dockerfile for a Haskell CI environment
Language:Dockerfile0 3 00
libverse
The low level crypto library generated using the Verse eDSL.
Language:C4 4 01
raaz
Cryptographic library for Haskell
Language:Haskell67 10 15924
raaz-crypto.github.io
The website of the raaz cryptographic library.
Language:Shell0 3 00
raaz-debian
Abandoned: Debian package description for raaz (used by launchpad).
Language:Makefile0 3 01
raaz-ssh
Language:Haskell1 3 00
verse-agda
A discontinued agda variant of verse
Language:Agda0 4 32
verse-coq
VERified asSembler for cryptographic primitives
Language:Coq12 5 365

raaz-crypto's Repositories

raaz-crypto/raaz
Cryptographic library for Haskell
Language:Haskell67 10 15924
raaz-crypto/verse-coq
VERified asSembler for cryptographic primitives
Language:Coq12 5 365
raaz-crypto/libverse
The low level crypto library generated using the Verse eDSL.
Language:C4 4 01
raaz-crypto/aim
Abandoned: A haskell DSL for generating assembly code.
Language:Haskell1 4 14
raaz-crypto/raaz-ssh
Language:Haskell1 3 00
raaz-crypto/docker-haskell-ci
Abandoned: Dockerfile for a Haskell CI environment
Language:Dockerfile0 3 00
raaz-crypto/raaz-crypto.github.io
The website of the raaz cryptographic library.
Language:Shell0 3 00
raaz-crypto/raaz-debian
Abandoned: Debian package description for raaz (used by launchpad).
Language:Makefile0 3 01
raaz-crypto/verse-agda
A discontinued agda variant of verse
Language:Agda0 4 32