My lecture notes and other course materials
☆40Nov 3, 2025Updated 6 months ago
Alternatives and similar repositories for Teaching
Users that are interested in Teaching are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Official implementation of the paper "Solving Inverse Problems With Deep Neural Networks - Robustness Included?" by M. Genzel, J. Macdona…☆30Apr 12, 2022Updated 4 years ago
- Import/export Spotify playlists☆12Updated this week
- Vuetify Soft UI Dashboard PRO is a beautiful resource built over Vuetify, Vuex and Vuejs 2☆11Nov 23, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This notebook presents an example of the equal risk pricing framework with deep hedging from my paper Carbonneau, A. and Godin, F. (2020)…☆15Oct 15, 2021Updated 4 years ago
- Project to visualize the kernels and the outputs of the individual layers of a CNN built in pytorch.☆18Feb 28, 2020Updated 6 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated last month
- Contains my experiments with the `big_vision` repo to train ViTs on ImageNet-1k.☆22Jan 16, 2023Updated 3 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆15Sep 7, 2021Updated 4 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Various samples of how to use the Handle.net Registry☆11Aug 20, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Theorems, Definitions, Papers, Research☆18Jul 3, 2019Updated 6 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21Mar 29, 2026Updated last month
- A collection of matplotlib style sheets and plotting tools for publication-ready figures☆15Jul 27, 2022Updated 3 years ago
- ☆15Mar 19, 2024Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆11Apr 8, 2020Updated 6 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.
- ☆16Oct 8, 2021Updated 4 years ago
- A simple tool to help you capture Ioctls.☆20Aug 26, 2017Updated 8 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Implementation of "A deep solver for BSDEs with jumps"☆17Nov 14, 2024Updated last year
- Notebooks that support https://python-advanced.quantecon.org☆20Apr 10, 2026Updated last month
- LaTeX notes for a few courses I've taken at the University of Waterloo.☆51Dec 19, 2017Updated 8 years ago
- Scoped coloring of Windows console output☆15Mar 7, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lecture Notes (with exercises) for Basic Probability course at University of Amsterdam☆17Sep 7, 2018Updated 7 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago
- Multidimensional Scaling in Python☆21Apr 6, 2012Updated 14 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Python library for HANDLE system☆11Mar 3, 2026Updated 2 months ago