Popular repositories Loading

1. subodhvsharma.github.io subodhvsharma.github.io Public

   HTML 2

2. mopper-spo mopper-spo Public

   MOPPER with SPO encoding

   C 1 1

3. benchmarks benchmarks Public

   C 1

4. house-allocation-strategy house-allocation-strategy Public

   An algorithm to perform house allocation at IITD

   TeX

5. SIoTS-paper SIoTS-paper Public

   We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.

   TeX

6. minimum-spanning-trees-alloy minimum-spanning-trees-alloy Public

   Forked from avanhatt/minimum-spanning-trees-alloy

   Alloy