My lecture notes and other course materials
☆41Nov 3, 2025Updated last year
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:
- Lecture Notes (with exercises) for Basic Probability course at University of Amsterdam☆18Sep 7, 2018Updated 8 years ago
- Randomized algorithm class at CU☆18Jul 8, 2025Updated last year
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 10 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- ☆12Mar 20, 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.
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- data structure and algorithms notes focused specially for placements☆19Oct 26, 2026Updated last week
- ☆13Jul 30, 2026Updated 3 months ago
- ☆10Oct 11, 2022Updated 4 years ago
- Analysis and Design of Algorithms(1010043316)☆29Sep 20, 2024Updated 2 years ago
- This repository reimplements "Show, Attend and Tell" model and add extra deep learning techniques.☆12Oct 3, 2023Updated 3 years ago
- Repository for 2019 CVPR AI City Challenge Track 3 from IPL@UW☆12Jun 2, 2019Updated 7 years ago
- Simple ACL library for Python with middleware☆15Aug 21, 2014Updated 12 years ago
- ☆12Dec 8, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆16Updated this week
- A library of functions in different languages for sorting according to the standard sorting order defined by Bangla Academy (বাংলা একাডেম…☆15Jul 30, 2018Updated 8 years ago
- Clipboard application for windows common runtime.☆16Feb 13, 2016Updated 10 years ago
- A complete resource hub for Operating System course including notes, labs, and study materials.☆20Jul 31, 2025Updated last year
- YAJCo (Yet Another Java Compiler compiler) is a language parser generator based on annotated model.☆18Oct 4, 2026Updated last month
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- ☆13Sep 15, 2022Updated 4 years ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- Compilation of questions from DAA course - Design and Analysis of Algorithms☆14Nov 15, 2025Updated 11 months 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.
- Hoare Type Theory☆89Aug 26, 2026Updated 2 months ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated this week
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated 2 years ago
- Fine-grained AI-generated Text Detection using Multi-task Auxiliary and Multi-level Contrastive Learning☆18Mar 23, 2026Updated 7 months ago
- My lecture notes for modern mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algeb…☆11Jun 29, 2026Updated 4 months ago
- ☆15Dec 3, 2024Updated last year
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆18Mar 19, 2026Updated 7 months ago
- This file includes the code I've written for the course Numerical Method in finance, Stochastic Calculus in Spring 2020.☆12May 13, 2020Updated 6 years ago
- Emergent communication in agents learning about object affordances☆10Aug 26, 2019Updated 7 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.
- Theorems, Definitions, Papers, Research☆17Jul 3, 2019Updated 7 years ago
- Replicated the Alpha Go Zero paper but applied it to the game Santorini.☆13Jan 27, 2018Updated 8 years ago
- IIT CS 535. Design and Analysis of Algorithm. All Assignment Solution , and all the course material . Illinois Institute of technology ht…☆10May 3, 2019Updated 7 years ago
- Lecture notes for CSCI3431: Operating Systems☆12Dec 3, 2014Updated 11 years ago
- Test Data Sets for Kandinsky Patterns☆11Jun 2, 2019Updated 7 years ago
- MLT Notes☆11Jul 28, 2023Updated 3 years ago
- ☆17Sep 21, 2021Updated 5 years ago