Latex notes on papers, courses, ideas: Pure math and computer science.
☆66Jul 31, 2023Updated 2 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:
- Lecture notes of the course Analysis On Manifolds☆23Apr 2, 2026Updated 3 months ago
- Source code for some notes for the mathematical tripos.☆23Dec 23, 2018Updated 7 years ago
- 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☆21May 31, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- Resources, by the people, of the people, for the people.☆14Apr 24, 2021Updated 5 years ago
- Summer school on programming in Agda☆69Aug 1, 2023Updated 2 years ago
- My typed-up math lecture notes☆24Jun 7, 2022Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Jun 23, 2026Updated last week
- ☆14Nov 30, 2022Updated 3 years ago
- ☆18Jul 31, 2025Updated 11 months ago
- Plymouth themes taken from Hackers (1995)☆11Oct 7, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 years ago
- Handwritten Maths Notes from UCL☆27Nov 11, 2025Updated 7 months ago
- MIT PhD Thesis template☆11May 22, 2025Updated last year
- Field Panel Method for solving the Full Potential Equation☆13Jun 19, 2019Updated 7 years ago
- Exact reduction of ODE models via linear transformations☆13Feb 17, 2024Updated 2 years ago
- AAE 451 Aircraft Design☆11Jul 31, 2021Updated 4 years ago
- Cubic splines for Julia☆11May 16, 2022Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆112Jun 12, 2024Updated 2 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.
- An interactive introduction to the Julia language☆16Oct 26, 2023Updated 2 years ago
- Tensor algebra utility library☆20Jan 12, 2026Updated 5 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆31Nov 18, 2021Updated 4 years ago
- Monoid, Functor, Applicative, Monad and more☆18May 7, 2023Updated 3 years ago
- A toolbox meant for aircraft design analyses.☆47Mar 14, 2026Updated 3 months ago
- Diagram features for Documenter.jl, powered by Kroki.jl☆16Sep 21, 2023Updated 2 years ago
- Framework for reading and writing to binary files☆18Jul 13, 2019Updated 6 years ago
- Multi-threading brainfuck compiler☆11Dec 10, 2017Updated 8 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 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.
- 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
- Convert JSON schemas into Nickel contracts☆40Jun 28, 2026Updated last week
- A Flex/Bison Parser for Blazonry - A Mediaeval Graphical Description Language☆14Apr 23, 2021Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 6 years ago
- Research team website☆12Jun 18, 2026Updated 2 weeks ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- ☆70Oct 29, 2014Updated 11 years ago