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

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 2

  2. cs3100_o23 cs3100_o23 Public

    Jupyter Notebook 2 4

  3. CS6225_Jan_May_2026 CS6225_Jan_May_2026 Public

    Lecture Files for CS6225

    Rocq Prover 2 1

  4. Quelea Quelea Public

    Forked from kayceesrk/Quelea

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

    Haskell

  5. Kartiknagar.github.io Kartiknagar.github.io Public

    HTML

  6. CAV19-Encodings CAV19-Encodings Public

    SMT