Alternatives and similar repositories for UWaterloo-Course-Notes:

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

• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 2 months ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆53Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• UniMath / Schools
  ☆83Updated 6 months ago
• coq-quantum / CoqQ
  ☆25Updated 3 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 2 weeks ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆13Updated 2 years ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 5 months ago
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated 9 months ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 5 months ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆23Updated 8 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆68Updated 2 weeks ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆100Updated last year