dmvaldman / libraryLinks
π Papers and essays I find timeless
β378Updated last year
Alternatives and similar repositories for library
Users that are interested in library are comparing it to the libraries listed below
Sorting:
- Notes on writingβ542Updated 3 years ago
- Books that makes heavy use of visuals for scientific communicationβ165Updated last year
- The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavelloβ65Updated 3 months ago
- Info on resources for studying math, stats, CS, etc.β214Updated 2 years ago
- Notes for courses taken at Harvard (2015--2019)β477Updated 6 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.β64Updated 2 years ago
- A curated list of Q# code and resources.β175Updated 3 years ago
- Collaboration / Topic requests for SoMEβ211Updated 2 years ago
- Book in preparation: introduction to theoretical computer scienceβ984Updated last year
- A (not really) complete list of quantum gamesβ101Updated 2 years ago
- Quantum computing in your browser.β357Updated 2 years ago
- β342Updated 2 years ago
- Source files for https://web.evanchen.ccβ59Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistantβ314Updated 11 months ago
- Group theory visualization software in the browserβ260Updated last year
- source code for math gifs posted to twitterβ128Updated 5 years ago
- Lecture notes from Cambridge mathsβ71Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" courseβ160Updated last year
- The Python toolkit for computing with string diagrams.β387Updated 3 weeks ago
- List of papers and other resources at the intersection of Category Theory and NLP.β54Updated 2 years ago
- List of resources for learning Category Theoryβ270Updated 11 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperiβ¦β310Updated last year
- β118Updated 5 months ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculusβ469Updated this week
- Chicago undergraduate mathematics bibliographyβ734Updated 6 years ago
- Experiments in an explorable visual medium for mathematicsβ264Updated 8 years ago
- β 10 week Practical Course on Quantum Information Science and Quantum Computing - with Qiskit and IBMQXβ163Updated last year
- A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.β1,035Updated last year
- List of links of techniques to help enhance mathematical notationβ189Updated last year
- This repository contains study material that EPFL, Harvard, MIT Quantum Computing associations and others provide to the students as traiβ¦β39Updated 5 years ago