bollu / notes
Latex notes on papers, courses, ideas: Pure math and computer science.
☆60Updated last year
Alternatives and similar repositories for notes:
Users that are interested in notes are comparing it to the libraries listed below
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆28Updated 3 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- "We must know. We shall know." - David Hilbert☆21Updated last month
- 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
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last month
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- ☆42Updated 9 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- Mathematical notes and papers☆26Updated this week
- This is a collection of resources that I feel will prove useful to anyone studying in the area of engineering but also like mathematics. …☆80Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆40Updated 2 weeks ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- The WIP book for CPSC 411☆63Updated 3 weeks ago
- Open-source number theory textbook☆58Updated 8 months ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Lecture notes from Cambridge maths☆66Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆30Updated 5 years ago
- ☆17Updated 4 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 7 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago