raaz-crypto

raaz-crypto

Geek Repo

Github PK Tool:Github PK Tool

raaz-crypto's repositories

raaz

Cryptographic library for Haskell

Language:HaskellLicense:Apache-2.0Stargazers:67Issues:10Issues:159

verse-coq

VERified asSembler for cryptographic primitives

Language:CoqLicense:Apache-2.0Stargazers:12Issues:5Issues:36

libverse

The low level crypto library generated using the Verse eDSL.

Language:CLicense:NOASSERTIONStargazers:4Issues:4Issues:0

aim

Abandoned: A haskell DSL for generating assembly code.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:1
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

docker-haskell-ci

Abandoned: Dockerfile for a Haskell CI environment

Language:DockerfileStargazers:0Issues:3Issues:0

raaz-crypto.github.io

The website of the raaz cryptographic library.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:3Issues:0

raaz-debian

Abandoned: Debian package description for raaz (used by launchpad).

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

verse-agda

A discontinued agda variant of verse

Language:AgdaStargazers:0Issues:4Issues:3