Skip to content
@raaz-crypto

raaz-crypto

Pinned Loading

  1. raaz raaz Public

    Cryptographic library for Haskell

    Haskell 67 24

  2. verse-coq verse-coq Public

    VERified asSembler for cryptographic primitives

    Coq 12 5

  3. libverse libverse Public

    The low level crypto library generated using the Verse eDSL.

    C 4 1

  4. docker-haskell-ci docker-haskell-ci Public

    Abandoned: Dockerfile for a Haskell CI environment

    Dockerfile

Repositories

Showing 9 of 9 repositories
  • raaz Public

    Cryptographic library for Haskell

    raaz-crypto/raaz’s past year of commit activity
    Haskell 67 Apache-2.0 24 9 0 Updated Oct 13, 2024
  • verse-coq Public

    VERified asSembler for cryptographic primitives

    raaz-crypto/verse-coq’s past year of commit activity
    Coq 12 Apache-2.0 5 4 1 Updated Jul 15, 2023
  • libverse Public

    The low level crypto library generated using the Verse eDSL.

    raaz-crypto/libverse’s past year of commit activity
    C 4 1 0 0 Updated Mar 24, 2023
  • raaz-crypto.github.io Public

    The website of the raaz cryptographic library.

    raaz-crypto/raaz-crypto.github.io’s past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated Jan 6, 2019
  • docker-haskell-ci Public

    Abandoned: Dockerfile for a Haskell CI environment

    raaz-crypto/docker-haskell-ci’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Dec 4, 2018
  • verse-agda Public

    A discontinued agda variant of verse

    raaz-crypto/verse-agda’s past year of commit activity
    Agda 0 2 3 1 Updated Aug 4, 2018
  • raaz-debian Public

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

    raaz-crypto/raaz-debian’s past year of commit activity
    Makefile 0 1 0 0 Updated Aug 8, 2016
  • raaz-ssh Public
    raaz-crypto/raaz-ssh’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated Jun 25, 2016
  • aim Public

    Abandoned: A haskell DSL for generating assembly code.

    raaz-crypto/aim’s past year of commit activity
    Haskell 1 BSD-3-Clause 4 1 0 Updated May 16, 2014

Top languages

Loading…

Most used topics

Loading…