Pinned Loading

1. CS610-Programming-for-performance CS610-Programming-for-performance Public

   Contains the assignments code and report submitted for the course CS610 (Programming for Performance) offered by Prof. Swarnendu Biswas in 2025-26-I at IIT Kanpur.

   Cuda 1

2. ProofEngine ProofEngine Public

   Forked from dhruvgupta22/ProofEngine

   Chiron IR to SMTLIB for program verification

   Python

3. ComputerArchitecture_CS422 ComputerArchitecture_CS422 Public

   Contains the codes for all the assignments done as a part of course CS422 (Computer Architecture) at IITK (in group of two)

   C++ 1

4. CS633_Assignment CS633_Assignment Public

   Contains the assignment code and report we had submitted for the course CS633 (Parallel Computing), offered in 2024-25 Sem II.

   C 1 2

5. DSA-ESO207 DSA-ESO207 Public

   Contains the programming and theoretical assignments I had submitted for the course ESO207 (Data Structures and Algorithms), offered in 2023-24 Sem I.

   C++

6. Who-is-the-real-winner- Who-is-the-real-winner- Public

   Python assignment submission for the course CS253 (Prof Indranil Saha) done in semester 2023-24-II

   Jupyter Notebook