LaTeX notes for a few courses I've taken at the University of Waterloo.
☆52Dec 19, 2017Updated 8 years ago
Alternatives and similar repositories for lecture-notes
Users that are interested in lecture-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:
- Code and data necessary to reproduce heatmaps relating HN Submission time to submission score.☆13Jul 10, 2015Updated 11 years ago
- Or: How I Learned to Stop Worrying and Love the Greenback☆176Oct 23, 2022Updated 3 years ago
- Obsidian plugin for managing aliases for Johnny Decimal-indexed notes☆16Aug 10, 2021Updated 5 years ago
- Easiest travel pad you can build. It's pretty cheap for a pad too, coming in at around $190 (mid-covid pricing).☆13Jan 26, 2022Updated 4 years ago
- A mini roguelike in idiomatic Rust☆10Jun 17, 2017Updated 9 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.
- Latex theme for Typora☆16Sep 30, 2018Updated 7 years ago
- Tool for managing deep learning experiments☆13Dec 22, 2017Updated 8 years ago
- A compilation of lecture notes☆18May 1, 2019Updated 7 years ago
- A library for high-performance lightweight threads☆20Sep 21, 2011Updated 15 years ago
- Distributed algorithms in Lean 4☆18Jul 28, 2026Updated 2 months ago
- A command-line clone of the excellent macOS program LaTeXiT.☆15Nov 13, 2017Updated 8 years ago
- A panic resistant task pool.☆16Nov 17, 2014Updated 11 years ago
- Analyse Social Network of co-authors in DBLP website (https://dblp.uni-trier.de) using NetworkX.☆13May 27, 2020Updated 6 years ago
- ☆16Jan 3, 2025Updated last year
- 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.
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 3 years ago
- 🫧 Code for Holistic Reasoning with Long-Context LMs: A Benchmark for Database Operations on Massive Textual Data (Maekawa*, Iso* et al.…☆13Feb 25, 2025Updated last year
- ☆17Apr 27, 2017Updated 9 years ago
- an asteroids clone built in rust☆16Jul 24, 2019Updated 7 years ago
- Multithreaded implementation of the partitioned hash join algorithm for an in-memory columnar database☆14Sep 18, 2023Updated 3 years ago
- ☆11Nov 2, 2022Updated 3 years ago
- Quantum computing bootcamp with Qiskit☆13Jul 6, 2023Updated 3 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My dotfiles.☆28Updated this week
- ☆14Nov 12, 2019Updated 6 years ago
- openGauss odbc connector☆11Sep 21, 2026Updated last week
- ☆12Sep 13, 2024Updated 2 years ago
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 years ago
- Formal concept analysis lattice generation and query in Python☆13Apr 19, 2014Updated 12 years ago
- Flask extension for configuring Python logging module☆23Jan 5, 2019Updated 7 years ago
- Example demonstrates building TypeScript & React with Bazel☆26Oct 29, 2024Updated last year
- Go HTTP handler for serving swagger-ui☆11May 2, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- zsh dependency manager 🐚 💎☆11Feb 9, 2024Updated 2 years ago
- ☆15Feb 24, 2022Updated 4 years ago
- Learned Query Optimizer☆13Mar 16, 2022Updated 4 years ago
- A lightweight organization tool for your media library.☆12Feb 13, 2019Updated 7 years ago
- ☆23Jan 13, 2016Updated 10 years ago
- Shellcasting client and server☆26Oct 30, 2018Updated 7 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 5 months ago