Alternatives and similar repositories for UWaterloo-Course-Notes

Users that are interested in UWaterloo-Course-Notes are comparing it to the libraries listed below

• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated last month
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 2 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆46Updated 7 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆34Updated 4 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆95Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 3 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 7 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated this week
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆32Updated 6 years ago
• coq-quantum / CoqQ
  ☆28Updated 11 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated 2 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated 4 months ago
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆168Updated 6 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆14Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated 2 weeks ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆45Updated 3 weeks ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• thosgood / translations
  some maths papers in English
  ☆19Updated last month
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆33Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 weeks ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago