Popular repositories Loading

1. SURA2023 SURA2023 Public

   Data Envelopment Analysis

   Python

2. Capacitated-Facility-Location-for-k-Coloured-Clients Capacitated-Facility-Location-for-k-Coloured-Clients Public

   Documentation for the progress made to find approximation guarantees for a multi-service variant of the facility location problem.

3. Exploring-Problems-in-Computational-Social-Choice-and-Their-Tractability Exploring-Problems-in-Computational-Social-Choice-and-Their-Tractability Public

   Documentation for the progress made on MTD350 - Independent Study cum Mini Project on Problems in Computational Social Choice.

4. Exploring-the-Hardness-of-Verifying-Sequential-Consistency-VSC- Exploring-the-Hardness-of-Verifying-Sequential-Consistency-VSC- Public

   Documentation for progress made on finding reductions for 3SAT to variants of VSC.

5. Building-a-Computer-From-Scratch Building-a-Computer-From-Scratch Public

   Building functionality for a RISC V architecture using Logisim Evolution.

   Python

6. Simulating-the-Functioning-of-an-Operating-System Simulating-the-Functioning-of-an-Operating-System Public

   C-based code for simulate the virtualisation of CPU and memory, the implementation of a custom Unix-based Shell, the implementation of producer-consumer and reader-writer locks.

   C