Popular repositories Loading

1. concurrent-data-structures concurrent-data-structures Public

   A Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.

   34 7

2. monsoon-courses monsoon-courses Public

   Courses for Monsoon 2020 semester at IIIT Hyderabad (online).

   7

3. principles-of-programming-languages principles-of-programming-languages Public

   Principles of Programming Languages is the study of fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming int…

   6

4. advanced-computer-networks advanced-computer-networks Public

   A computer network is a group of computers using common communication protocols for sharing resources.

   4

5. advanced-computer-architecture advanced-computer-architecture Public

   Computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.

   4

6. software-foundations software-foundations Public

   Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.

   Coq 4