Course notes for selected courses at the University of Waterloo
☆18May 21, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental python library to compile and analyze the cost of any desired composite simulation in real or imaginary time, and with or…☆11Feb 9, 2024Updated 2 years ago
- ☆10Jul 17, 2023Updated 3 years ago
- cut epub into piece☆15Dec 21, 2025Updated 7 months ago
- Outlines and summary sheets for workshops run at Hack the North 2018☆15Nov 26, 2018Updated 7 years ago
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Expands [%here] into its location☆13Jul 10, 2026Updated 2 weeks ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- Connect all your Claude Code and Codex terminals into one team — web control included☆15Jun 26, 2026Updated 3 weeks ago
- Opam2 remote for beta versions of the OCaml compiler☆16May 1, 2019Updated 7 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- Modules in Matlab to implement the Numerical Renormalization Group technique.☆17Oct 1, 2020Updated 5 years ago
- My lecture on Quantum Physics including some Classical Physics with the applications by Python Language.☆12May 14, 2026Updated 2 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆20Jan 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Aug 27, 2021Updated 4 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 4 months ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 5 months ago
- Verified compilation of space-efficient reversible circuits☆25Mar 5, 2019Updated 7 years ago
- QuantumFlow: A Quantum Algorithms Development Toolkit☆64Updated this week
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆15Jul 19, 2026Updated last week
- Simple implementation of a parsing algorithm inspired by Earley☆15Apr 3, 2022Updated 4 years ago
- HoLy is simple http library for Racket language☆12Nov 3, 2017Updated 8 years ago
- benchmark compilation of Dotty☆16Feb 6, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- ☆23Nov 25, 2022Updated 3 years ago
- ☆30Mar 15, 2023Updated 3 years ago
- f***ing simple distributed file system / Old toy project, do not use :)☆44May 30, 2011Updated 15 years ago
- Sample ppx to demo making, testing, and packaging a simple ppx rewriter☆19May 11, 2019Updated 7 years ago
- Minimal cross-platform LSP wrapper for merlin☆29Mar 3, 2019Updated 7 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 6 years ago
- Run shell commands becomes easy in Julia!☆12Jul 21, 2020Updated 6 years ago
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- metaprogramming for Julia arrays☆13Sep 26, 2020Updated 5 years ago
- Makes `A | Null` work with for-comprehensions☆23Feb 11, 2024Updated 2 years ago
- Data validation and settings management in Julia☆13Apr 15, 2021Updated 5 years ago
- Generation of comparison functions from types☆28Jul 10, 2026Updated 2 weeks ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆26Sep 2, 2018Updated 7 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 6 years ago
- Fast Fourier transform on hexagonal grids using Birdsong and Rummelt's algorithm☆12Feb 10, 2020Updated 6 years ago