bollu / notesLinks
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated last year
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Lecture notes from Cambridge maths☆68Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- The theory of groups☆78Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- ☆24Updated 6 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Short essays I've written☆79Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- An experimental category theory library for Lean☆51Updated last year
- Open-source number theory textbook☆59Updated 10 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- The WIP book for CPSC 411☆64Updated last month
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A simple raytracer written in Lean 4☆138Updated last year
- ☆86Updated 2 months ago
- An arbitrary-precision differentiable programming language.☆36Updated last year