Skip to content
View vikraman's full-sized avatar
131 followers · 164 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@gentoo-haskell @pclubiitk @iu-parfunc @navya @wonks @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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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 17 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 5 1

  4. akka-argonaut akka-argonaut Public

    Argonaut json marshallers for akka-stream and akka-http

    Scala 4 2

  5. CompGeo CompGeo Public

    Computational Geometry algorithms library

    C 3 1

  6. gentoostats gentoostats Public

    SoC2011: Gentoo package statistics

    Python 3