iambrj / notes
notes I've made from books I've read, courses I've taken etc
☆16Updated last month
Alternatives and similar repositories for notes:
Users that are interested in notes are comparing it to the libraries listed below
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆31Updated 4 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- "We must know. We shall know." - David Hilbert☆21Updated 2 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆28Updated 3 years ago
- Archive of my notes taken at lectures in IIITH☆25Updated 3 years ago
- Competitive programming utilities in Haskell☆30Updated 4 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 months ago
- Basically listing out how to get some basic logistics out of the way☆262Updated last year
- All major Data structures and Algorithms☆20Updated 4 years ago
- This repository contains all resources corresponding to the various TechX sessions at IIIT Hyderabad☆20Updated 6 years ago
- Resources related to IIITH courses for learning beyond the courses.☆138Updated 2 years ago
- My tools for CP☆28Updated 3 years ago
- ☆18Updated 3 years ago
- SMAI lecture notes☆38Updated 4 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆52Updated 2 years ago
- Solves a sudoku puzzle by looking at it☆12Updated 2 years ago
- The WIP book for CPSC 411☆64Updated this week
- A programming language supporting most of both declarative and imperative programming☆52Updated 2 weeks ago
- This is an automatic VPN installer-runner for IIIT-H students.☆36Updated 7 years ago
- Notes for all the courses I have taken till date☆57Updated 7 years ago
- The team notebook to keep all template code and notes in.☆23Updated 3 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 3 months ago
- Mirror of ocaml-forester☆44Updated 10 months ago
- Day to Day use application for IIIT-Hyderabad students.☆13Updated 4 years ago
- All the assignments solved as a student of IIIT☆103Updated 5 years ago
- Resources I like to use while designing☆24Updated 3 years ago
- Material for introduction to Deep Learning Tutorials, Summer '20, '21☆16Updated 3 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 5 months ago