alexrutar / UWaterloo-Course-NotesLinks
Course notes for selected courses at the University of Waterloo
☆18Updated 3 years ago
Alternatives and similar repositories for UWaterloo-Course-Notes
Users that are interested in UWaterloo-Course-Notes are comparing it to the libraries listed below
Sorting:
- Python implementation of the monster group☆51Updated 3 weeks ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Formalized quantum computing in Lean theorem prover☆30Updated 4 years ago
- ☆47Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Code repository for our work on Quantum Pi☆10Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated last year
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- Verified compilation of space-efficient reversible circuits☆23Updated 6 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Mathematical stories☆13Updated 4 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- ☆23Updated 3 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- Deposited packages of the homalg project☆15Updated 3 months ago
- Categorical logic from a categorical point of view☆80Updated last year
- Verifying the ZX Calculus☆20Updated last week
- ☆27Updated 7 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Solution to Algebra, Chapter 0☆93Updated 4 months ago
- problems from codeforces solved in haskell☆11Updated 5 years ago
- ☆16Updated 5 years ago
- Kan: A browser extension for reading nLab☆27Updated 6 years ago
- Reverse-mode automatic differentiation with delimited continuations☆15Updated 2 years ago
- ☆49Updated last year
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago