Skip to content
View Kartiknagar's full-sized avatar
5 followers · 0 following
  • IIT Madras
  • Chennai

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report Kartiknagar

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. cs3100_o24 cs3100_o24 Public

    Official Course Repository for CS3100, Jul-Nov 2024

    Jupyter Notebook 4 1

  2. cs3100_o23 cs3100_o23 Public

    Jupyter Notebook 2 4

  3. Kartiknagar.github.io Kartiknagar.github.io Public

    HTML 1

  4. Quelea Quelea Public

    Forked from kayceesrk/Quelea

    A Haskell library for declarative programming over eventually consistent store (Cassandra).

    Haskell

  5. CAV19-Encodings CAV19-Encodings Public

    SMT

  6. CAV20-Encodings CAV20-Encodings Public

    SMT