iiithf
Popular repositories Loading
-
concurrent-data-structures
concurrent-data-structures PublicA Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.
-
monsoon-courses
monsoon-courses PublicCourses for Monsoon 2020 semester at IIIT Hyderabad (online).
-
principles-of-programming-languages
principles-of-programming-languages PublicPrinciples of Programming Languages is the study of fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming int…
-
advanced-computer-networks
advanced-computer-networks PublicA computer network is a group of computers using common communication protocols for sharing resources.
-
advanced-computer-architecture
advanced-computer-architecture PublicComputer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.
-
software-foundations
software-foundations PublicSoftware Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Coq 4
Repositories
- rnd-showcase-2021 Public
R&D Showcase is an annual event that allows faculty and students to share their work with the public in keeping with IIITH's endeavor to promote applied research that benefits society.
iiithf/rnd-showcase-2021’s past year of commit activity - software-engineering Public
Software engineering is an engineering-based approach to software development.
iiithf/software-engineering’s past year of commit activity - internals-of-application-servers Public
An application server is a server that hosts applications or software that delivers a business application through a communication protocol.
iiithf/internals-of-application-servers’s past year of commit activity - optimization-methods Public
An optimization method is a procedure which is executed iteratively by comparing various solutions till an optimum or a satisfactory solution is found.
iiithf/optimization-methods’s past year of commit activity - 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 interfaces.
iiithf/principles-of-programming-languages’s past year of commit activity - software-foundations Public
Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.
iiithf/software-foundations’s past year of commit activity - nodejs-reference Public
Node.js is an open-source, cross-platform, back-end, JavaScript runtime environment that executes JavaScript code outside a web browser.
iiithf/nodejs-reference’s past year of commit activity