dmvaldman / libraryLinks
📚 Papers and essays I find timeless
☆379Updated 9 months ago
Alternatives and similar repositories for library
Users that are interested in library are comparing it to the libraries listed below
Sorting:
- Application of formal systems to model biological systems☆483Updated 2 years ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆437Updated last week
- Book in preparation: introduction to theoretical computer science☆969Updated last year
- Repo of resources to help learn about quantum computing.☆179Updated last year
- Books that makes heavy use of visuals for scientific communication☆162Updated last year
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- A curated list of tools that can be used for creating interactive mathematical explorables.☆218Updated 8 months ago
- A (not really) complete list of quantum games☆99Updated 2 years ago
- Curated list of awesome papers and resources in quantum machine learning☆395Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- Repository containing monthly challenges in the field of quantum computing.☆423Updated 3 weeks ago
- The Python toolkit for computing with string diagrams.☆380Updated last month
- Notes on writing☆537Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆269Updated 7 months ago
- ☆340Updated 2 years ago
- Quantum computing in your browser.☆351Updated 2 years ago
- List of resources for learning Category Theory☆262Updated 7 months ago
- A Modern CompSci Curriculum☆302Updated last year
- A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.☆1,003Updated 11 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Game that teaches quantum computing using Qiskit (http://qiskit.org) in a Minetest (http://minetest.net) block world. Works on Windows, m…☆2Updated last year
- Experiments in an explorable visual medium for mathematics☆262Updated 7 years ago
- This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite …☆609Updated 2 years ago
- Lecture notebooks and coding assignments for the quantum machine learning MOOC created by Peter Wittek on EdX in the Spring 2019☆295Updated last year
- ⚛ 10 week Practical Course on Quantum Information Science and Quantum Computing - with Qiskit and IBMQX☆162Updated 9 months ago
- Group theory visualization software in the browser☆253Updated last year
- Resources for learning Category Theory for an enthusiast☆628Updated 2 years ago
- This repository contains study material that EPFL, Harvard, MIT Quantum Computing associations and others provide to the students as trai…☆37Updated 5 years ago
- ☆22Updated 7 months ago
- A curated list of Q# code and resources.☆171Updated 2 years ago