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
- code + contents of my website, and programming life☆374Updated this week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- ☆16Oct 14, 2020Updated 5 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21Aug 24, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Cambridge Maths Tripos notes☆36Oct 14, 2020Updated 5 years ago
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.☆10Nov 27, 2023Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Aug 3, 2026Updated last month
- ☆13Jul 5, 2024Updated 2 years ago
- ☆16Nov 5, 2020Updated 5 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- My typed-up math lecture notes☆25Jun 7, 2022Updated 4 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.
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 years ago
- A collection of category-specific host files☆14May 16, 2026Updated 3 months ago
- Notes in LaTeX for learning Mathematics, both self-taught and from school.☆26Nov 1, 2018Updated 7 years ago
- Lecture Notes in Mathematics☆19Mar 20, 2022Updated 4 years ago
- Handwritten Maths Notes from UCL☆28Nov 11, 2025Updated 9 months 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tensor algebra utility library☆20Jan 12, 2026Updated 7 months ago
- An interactive introduction to the Julia language☆16Oct 26, 2023Updated 2 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆112Jun 12, 2024Updated 2 years ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- Monoid, Functor, Applicative, Monad and more☆18May 7, 2023Updated 3 years ago
- Summer school on programming in Agda☆69Aug 1, 2023Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆33Nov 18, 2021Updated 4 years ago
- A productivity app for Mac OS X☆12Oct 30, 2014Updated 11 years ago
- MIT PhD Thesis template☆11May 22, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Convert JSON schemas into Nickel contracts☆40Jul 7, 2026Updated last month
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Neovim UI client using arcan-tui☆15Feb 20, 2024Updated 2 years ago
- A Python framework to build polite, but tenacious crawlers / scrapers with a MariaDB backend☆22Jul 14, 2026Updated last month
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆47Jul 16, 2014Updated 12 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 6 years ago