iambrj / notesLinks
notes I've made from books I've read, courses I've taken etc
☆17Updated 4 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆32Updated 4 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆22Updated 4 years ago
- SMAI lecture notes☆43Updated 5 years ago
- Basically listing out how to get some basic logistics out of the way☆275Updated 2 years ago
- Archive of my notes taken at lectures in IIITH☆25Updated 4 years ago
- "We must know. We shall know." - David Hilbert☆21Updated 5 months ago
- Resources related to IIITH courses for learning beyond the courses.☆147Updated 3 years ago
- Material for introduction to Deep Learning Tutorials, Summer '20, '21☆16Updated 4 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Notes for all the courses I have taken till date☆57Updated 7 years ago
- Day to Day use application for IIIT-Hyderabad students.☆13Updated 5 years ago
- ☆18Updated 4 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- The team notebook to keep all template code and notes in.☆22Updated 4 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- IIIT Hyderabad Previous Paper Repo☆243Updated last week
- All major Data structures and Algorithms☆20Updated 5 years ago
- Repository of SMAI homeworks, Monsoon 2019-20.☆19Updated 6 years ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Updated last year
- My tools for CP☆29Updated 4 years ago
- Main repository for the Research Programme in Computational Law☆36Updated last year
- Purely Functional Data Structures☆13Updated 11 years ago
- Resources for Computer System Organisation Course 2020☆15Updated 5 years ago
- All the assignments solved as a student of IIIT☆103Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆61Updated 11 months ago
- This repository contains all resources corresponding to the various TechX sessions at IIIT Hyderabad☆20Updated 7 years ago
- ☆11Updated 2 years ago
- All things done for IIIT research.☆11Updated 5 years ago