Skip to content

@raaz-crypto raaz-crypto

Change the repository type filter

All

    Repositories list

    9 repositories

    • raaz

      Public
      Cryptographic library for Haskell
      cryptographyhaskellraazcryptographic-library
      Haskell
      •
      Apache License 2.0
      •24•67•9•1•Updated Dec 31, 2024Dec 31, 2024

    • verse-coq

      Public
      VERified asSembler for cryptographic primitives
      cryptographyedslcoq
      Coq
      •
      Apache License 2.0
      •5•12•4•1•Updated Jul 15, 2023Jul 15, 2023

    • libverse

      Public
      The low level crypto library generated using the Verse eDSL.
      cryptography-library
      C
      •
      Other
      •1•4•0•0•Updated Mar 24, 2023Mar 24, 2023

    • raaz-crypto.github.io

      Public
      The website of the raaz cryptographic library.
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 6, 2019Jan 6, 2019

    • docker-haskell-ci

      Public
      Abandoned: Dockerfile for a Haskell CI environment
      Dockerfile
      •0•0•0•0•Updated Dec 4, 2018Dec 4, 2018

    • verse-agda

      Public
      A discontinued agda variant of verse
      Agda
      •2•0•3•1•Updated Aug 4, 2018Aug 4, 2018

    • raaz-debian

      Public
      Abandoned: Debian package description for raaz (used by launchpad).
      Makefile
      •
      Other
      •1•0•0•0•Updated Aug 8, 2016Aug 8, 2016

    • raaz-ssh

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 25, 2016Jun 25, 2016

    • aim

      Public
      Abandoned: A haskell DSL for generating assembly code.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•1•1•0•Updated May 16, 2014May 16, 2014