{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"iiithf.github.io","owner":"iiithf","isFork":false,"description":"The \"really\" small subset of courses I took at IIIT Hyderabad.","allTopics":["events","research","courses","details","hyderabad","iiit","additional","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-25T17:31:17.511Z"}},{"type":"Public","name":"software-engineering","owner":"iiithf","isFork":false,"description":"Software engineering is an engineering-based approach to software development.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T07:38:30.712Z"}},{"type":"Public","name":"internals-of-application-servers","owner":"iiithf","isFork":false,"description":"An application server is a server that hosts applications or software that delivers a business application through a communication protocol.","allTopics":["application","internal","server","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T06:56:04.873Z"}},{"type":"Public","name":"distributed-systems","owner":"iiithf","isFork":false,"description":"A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.","allTopics":["time","model","detection","state","snapshot","consensus","deadlock","global","recording","termination","logical","agreement","mutual","iiith","exclusion"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T06:50:33.900Z"}},{"type":"Public","name":"advanced-computer-networks","owner":"iiithf","isFork":false,"description":"A computer network is a group of computers using common communication protocols for sharing resources.","allTopics":["design","router","service","internet","lan","network","protocol","firewall","routing","provider","switch","isp","wan","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T17:36:38.061Z"}},{"type":"Public","name":"advanced-computer-architecture","owner":"iiithf","isFork":false,"description":"Computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.","allTopics":["level","consistency","memory","gpu","directory","cache","vector","multithreading","parallelism","warehouse","hierarchy","ilp","coherence","instruction","snooping","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T17:25:22.287Z"}},{"type":"Public","name":"concurrent-data-structures","owner":"iiithf","isFork":false,"description":"A Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.","allTopics":["search","hashing","data","list","synchronization","programming","monitor","stack","structures","lock","blocking","parallelism","concurrent","skiplist","spin","multiprocessor","elimination","balanced","contention","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T17:22:38.873Z"}},{"type":"Public","name":"compilers","owner":"iiithf","isFork":false,"description":"A compiler is a program that translates code written in one programming language into another.","allTopics":["flow","basic","parser","level","block","control","graph","code","optimization","machine","gcc","variable","live","ssa","lexer","lexical","high","independent","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:58:23.426Z"}},{"type":"Public","name":"optimization-methods","owner":"iiithf","isFork":false,"description":"An optimization method is a procedure which is executed iteratively by comparing various solutions till an optimum or a satisfactory solution is found.","allTopics":["programming","graph","matrix","factor","square","constraints","complexity","linear","branch","theory","relaxation","integer","bound","least","formulation","iiith"],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:49:05.655Z"}},{"type":"Public","name":"software-foundations","owner":"iiithf","isFork":false,"description":"Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.","allTopics":["system","pattern","coq","proof","inference","transition","error","safety","type","polymorphism","checking","patching","iiith","theorm"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:42:01.513Z"}},{"type":"Public","name":"principles-of-programming-languages","owner":"iiithf","isFork":false,"description":"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.","allTopics":["language","haskell","system","racket","object","store","style","combinator","reduction","continuation","recursion","tail","scope","theory","abstract","lexical","oriented","addition","passing","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:39:43.817Z"}},{"type":"Public","name":"queuing-theory","owner":"iiithf","isFork":false,"description":"Queuing theory is the mathematical study of waiting lines, or queues.","allTopics":["law","queue","routing","probability","expectation","vpn","variance","theory","deterministic","general","little","queuing","iiith","memoryless"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:35:55.253Z"}},{"type":"Public","name":"discrete-mathematics-and-algorithms","owner":"iiithf","isFork":false,"description":"Discrete mathematics is the study of discontinuous quantities, and associated algorithms.","allTopics":["functions","proof","logic","mathematics","reduction","ring","chinese","discrete","maths","recurrence","hanoi","tower","sets","relations","cardinality","masters","josephus","iiith","theorm","algorithms"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T16:29:06.994Z"}},{"type":"Public","name":"esp32-examples","owner":"iiithf","isFork":false,"description":"ESP32 is a series of low-cost, low-power system on a chip microcontrollers with integrated Wi-Fi and dual-mode Bluetooth.","allTopics":["mqtt","hello","station","world","tcp","server","i2c","examples","master","notes","timer","esp32","file","wifi","spi","adc","sntp","dac","i2s","blonk"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T13:53:44.747Z"}},{"type":"Public","name":"wan-design","owner":"iiithf","isFork":false,"description":"Wide Area Network for File sharing, Energy & Gas metering, Fire alarm, Burglar security between 1 Village & 2 Apartments.","allTopics":["alarm","security","design","energy","network","sharing","file","fire","gas","wide","area","wan","metering","burglar","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T13:47:34.975Z"}},{"type":"Public","name":"lan-design","owner":"iiithf","isFork":false,"description":"Local Area Network for Personal and Common Internet connections along with Security Cameras at Golf View Apartments.","allTopics":["security","design","camera","local","view","internet","lan","network","personal","connection","common","area","golf","iiith","apartments"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T13:42:50.329Z"}},{"type":"Public","name":"infectious-disease-modeling","owner":"iiithf","isFork":false,"description":"Models can project how infectious diseases progress to show the likely outcome of an epidemic and help inform public health interventions.","allTopics":["graph","organization","model","modeling","path","source","medical","disease","epidemiology","sir","shortest","infectious","infected","epidemic","iiith","recovered","susceptible"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T13:35:08.651Z"}},{"type":"Public","name":"virology","owner":"iiithf","isFork":false,"description":"Virology is the study of viruses – submicroscopic, parasitic particles of genetic material contained in a protein coat – and virus-like agents.","allTopics":["agent","viruses","ecology","hiv","infection","aids","vincent","unusual","emerging","therapeutic","racaniello"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-25T13:32:17.832Z"}},{"type":"Public","name":"rnd-showcase-2021","owner":"iiithf","isFork":false,"description":"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.","allTopics":["development","research","showcase","event","annual","iiith"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-11T10:17:46.103Z"}},{"type":"Public","name":"nodejs-reference","owner":"iiithf","isFork":false,"description":"Node.js is an open-source, cross-platform, back-end, JavaScript runtime environment that executes JavaScript code outside a web browser.","allTopics":["testing","console","hooks","events","crypto","errors","modules","async","buffer","cluster","ecmascript","child","processes","assertion"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-02T16:58:16.956Z"}},{"type":"Public","name":"monsoon-courses","owner":"iiithf","isFork":false,"description":"Courses for Monsoon 2020 semester at IIIT Hyderabad (online).","allTopics":["online","courses","semester","hyderabad","iiit","monsoon","2020","iiith"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-02T11:49:36.783Z"}}],"repositoryCount":21,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}