Latex notes on papers, courses, ideas: Pure math and computer science.
☆66Jul 31, 2023Updated 3 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theorems, Definitions, Papers, Research☆17Jul 3, 2019Updated 7 years ago
- Lecture notes of the course Analysis On Manifolds☆24Apr 2, 2026Updated 6 months ago
- Source code for some notes for the mathematical tripos.☆23Sep 2, 2026Updated last month
- This repository contains all resources corresponding to the various TechX sessions at IIIT Hyderabad☆19Dec 12, 2018Updated 7 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Oct 14, 2020Updated 5 years ago
- Resources related to IIITH courses for learning beyond the courses.☆151Aug 14, 2022Updated 4 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21Sep 28, 2026Updated 2 weeks ago
- All of my math stuff from grad school.☆55Jan 17, 2018Updated 8 years ago
- Lecture notes from Cambridge maths☆78Feb 1, 2024Updated 2 years ago
- Series of lectures and hands-on tutorials organized to familiarize new lab entrants with the fundamental areas of robotics research.☆43May 2, 2021Updated 5 years ago
- Resources, by the people, of the people, for the people.☆14Apr 24, 2021Updated 5 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 10 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementation of 3D reconstruction from accidental motion, CVPR 2014☆12Dec 8, 2022Updated 3 years ago
- ☆15Nov 24, 2018Updated 7 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆27Jan 1, 2024Updated 2 years ago
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆32Feb 12, 2021Updated 5 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- My typed-up math lecture notes☆26Jun 7, 2022Updated 4 years ago
- Archive of my notes taken at lectures in IIITH☆25Aug 15, 2021Updated 5 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- Python library for converting UTF to WX and vice-versa for Indian languages.☆11Jan 17, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Zettelkasten file processor☆10Oct 7, 2020Updated 6 years ago
- Notes in LaTeX for learning Mathematics, both self-taught and from school.☆25Nov 1, 2018Updated 7 years ago
- Lecture Notes in Mathematics☆20Mar 20, 2022Updated 4 years ago
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆30Jun 17, 2025Updated last year
- Handwritten Maths Notes from UCL☆28Sep 28, 2026Updated 2 weeks ago
- Field Panel Method for solving the Full Potential Equation☆13Jun 19, 2019Updated 7 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- AAE 451 Aircraft Design☆11Jul 31, 2021Updated 5 years ago
- Cubic splines for Julia☆11May 16, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An interactive introduction to the Julia language☆16Oct 26, 2023Updated 2 years ago
- Material for introduction to Deep Learning Tutorials, Summer '20, '21☆16Jul 2, 2021Updated 5 years ago
- Basically listing out how to get some basic logistics out of the way☆276Jan 26, 2024Updated 2 years ago
- a programming language with channels and coroutines/threads☆10Jun 1, 2026Updated 4 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Oct 3, 2026Updated last week
- ☆10Oct 11, 2022Updated 4 years ago