vikraman (Vikraman Choudhury) · GitHub
Skip to content
View vikraman's full-sized avatar
148 followers · 198 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@gentoo-haskell @pclubiitk @iu-parfunc @navya @hackcave-staging @dpndnt

Block or report vikraman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. 2DTypes 2DTypes Public

    Collaborative work on reversible computing

    TeX 18 1

  2. popl22-symmetries-artifact popl22-symmetries-artifact Public

    Artifact for Symmetries in Reversible Programming

    Dockerfile 9 1

  3. generalised-species generalised-species Public

    Espèces généralisées de structures sur les groupoïdes

    Agda 6 1

  4. agda-coexp agda-coexp Public

    Formalisation of some ideas related to continuations and co-exponentials

    Agda 6 2

  5. akka-argonaut akka-argonaut Public

    Argonaut json marshallers for akka-stream and akka-http

    Scala 4 2

  6. hs-coexp hs-coexp Public

    Continuations and Co-exponentials

    Haskell 4 1