Block or report user

Organizations

@raaz-crypto @indian-curry

Pinned repositories

  1. naqsha

    Forked from naqsha/naqsha

    Haskell

  2. raaz

    Forked from raaz-crypto/raaz

    Cryptographic network library for Haskell

    Haskell 1

  3. algorithms

    Code for my Algorithms course

    3

  4. project-diamond.github.io

    Forked from project-diamond/project-diamond.github.io

    The website for Project Diamond

    HTML

  5. verse-coq

    This is the coq variant of verse

    Coq 2 2

933 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

June 2018

Created a pull request in raaz-crypto/raaz that received 5 comments

Separating packages

The raaz packages are now split so that the signature files and actual implementations can be used externally. The result is a set of 4 packages ra…

+640 −414 5 comments

Seeing something unexpected? Take a look at the GitHub profile guide.