florian-rabe / TeachingLinks
My lecture notes and other course materials
☆40Updated 3 months ago
Alternatives and similar repositories for Teaching
Users that are interested in Teaching are comparing it to the libraries listed below
Sorting:
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 4 years ago
- Reconquer the canvas: beautiful Tikz figures without clunky Tikz code☆418Updated 5 years ago
- probmods 2: electric boogaloo☆323Updated 2 years ago
- Cambridge Maths Tripos notes☆37Updated 5 years ago
- List of resources for learning Category Theory☆280Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Updated 3 weeks ago
- Files needed to replicate my research blog☆96Updated last year
- Lecture notes of the course Analysis On Manifolds☆22Updated 2 weeks ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆299Updated 4 years ago
- ☆39Updated last year
- 6.867 Machine Learning☆31Updated 8 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21Updated 3 weeks ago
- Sources for "Applied Category Theory for Engineering"☆39Updated last week
- A list of resources on how/why to do a PhD☆377Updated 6 years ago
- Course on Metaprogramming☆75Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Open-source number theory textbook☆63Updated last year
- Folklore facts on probability distribution learning, testing, and whatever-ing☆269Updated 5 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 months ago
- FreeTikZ☆41Updated 8 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated 2 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated last week
- Official repository for CMU Machine Learning Department's 10721: "Philosophical Foundations of Machine Intelligence".☆263Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆29Updated 5 years ago
- The simple essence of automatic differentiation☆201Updated 5 years ago