Block or report user

Report or block SooryaN

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Developer Program Member

Pinned repositories

  1. haskell/hackage-server

    Hackage-Server: A Haskell Package Repository

    Haskell 232 140

  2. Flakes

    A tiny kernel in C

    C 7

  3. Sachin-A/Blake2

    Basic implementation of Blake2 in C as a base for Argon2 for Mozilla's Network Security Services.

    C++ 8 2

  4. festember-maze

    A HTML5 maze game for festember 2015 @ NITT

    JavaScript 6

  5. social-browsing

    A browser extension for the inGenius Hackathon


  6. HandShake

    A TCP/IP stack implemented on the linux user space


103 contributions in the last year

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

Contribution activity

July - August 2018

SooryaN has no activity yet for this period.

June 2018

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

Created an issue in ucsd-progsys/liquidhaskell that received 3 comments

Incorrect UNSAFE result when using where

Not sure if this is a known limitation of lh, but the following works {-@ safeDiv :: Int -> {v:Int | v /= 0} -> Int @-} safeDiv :: Int -> Int -> Int


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