|
|
Python |
27 |
Lecture notes & Exercises |
Jan 29, 2022 |
|
|
Jupyter Notebook |
2 |
Lecture notes and Exercises for lecture 1 |
Mar 22, 2019 |
|
|
Jupyter Notebook |
13 |
Lecture Notes (Spring 2021) |
Mar 14, 2022 |
|
|
C |
2 |
Microprocessor lecture homeworks |
Apr 12, 2022 |
|
|
Jupyter Notebook |
13 |
Lecture notes and exercises for control theory course |
Mar 23, 2023 |
|
|
PHP |
2 |
A repo for class lecture notes and exercises |
Jan 15, 2024 |
|
|
HTML |
2 |
A repo for class web exercises and lecture notes |
Oct 31, 2018 |
|
|
Jupyter Notebook |
254 |
Interactive Lecture Notes, Slides and Exercises for Statistical NLP |
Sep 05, 2022 |
|
|
CSS |
2 |
The notes, code, and exercises for my jQuery lecture |
Feb 08, 2023 |
|
|
Ruby |
5 |
Lecture notes and example code for OCT25 2021 cohort |
Jan 19, 2022 |
|
|
Ruby |
2 |
Lecture notes and example code for Jan04 2021 cohort |
Mar 18, 2021 |
|
|
Ruby |
2 |
Lecture notes and example code for NOV22 2021 cohort |
Feb 16, 2022 |
|
|
JavaScript |
15 |
Lecture notes and example code for FEB01 2021 cohort |
Jul 20, 2021 |
|
|
Jupyter Notebook |
78 |
Exercises for the Big Data lecture at ETH Zurich (Fall 2021) |
May 11, 2023 |
|
|
HTML |
2 |
Cohort repository containing class documents, lecture notes, and extra exercises |
Apr 01, 2022 |
|
|
Java |
27 |
Notes and homeworks for data structures. |
Aug 21, 2022 |
|
|
None |
4 |
Lecture Notes |
Oct 24, 2021 |
|
|
Jupyter Notebook |
2 |
Lecture notes |
Jan 11, 2022 |
|
|
TeX |
6 |
Lecture notes |
Mar 17, 2023 |
|
|
TeX |
27 |
lecture notes |
Jul 25, 2022 |
|
|
None |
28 |
Lecture Notes. |
Oct 10, 2022 |
|
|
Julia |
2 |
lecture notes |
Nov 30, 2022 |
|
|
TeX |
2 |
Lecture notes from MATH 1560: Number Theory with Nicole Looper at Brown University for the … |
Apr 06, 2023 |
|
|
Jupyter Notebook |
55 |
Lecture notes for CS132 |
Apr 17, 2023 |
|
|
Jupyter Notebook |
19 |
Exercises for the lecture "Communication Acoustics" |
Feb 21, 2023 |
|
|
OCaml |
2 |
Programming Lecture Notes |
May 19, 2022 |
|
|
HTML |
25 |
android lecture notes |
Mar 26, 2023 |
|
|
Jupyter Notebook |
7 |
Exercises, Homeworks, Exams and Projects from SoftUni |
Apr 07, 2022 |
|
|
TeX |
4 |
Lecture Notes for Math5 course |
Nov 01, 2021 |
|
|
None |
2 |
Lecture notes for algorithm explanation. |
Dec 19, 2021 |
|
|
CSS |
2 |
Lecture Notes for Math 334 |
Nov 24, 2021 |
|
|
None |
2 |
lecture notes for spring 2019 |
Aug 30, 2019 |
|
|
None |
2 |
egghead.io lecture notes for study |
Mar 04, 2023 |
|
|
None |
3 |
Lecture notes for EC 607 |
Aug 05, 2022 |
|
|
TeX |
18 |
Compiled lecture notes for AA274 |
May 31, 2022 |
|
|
TeX |
118 |
Source code for lecture notes |
May 03, 2023 |
|
|
TeX |
55 |
Source code for lecture notes |
May 08, 2023 |
|
|
TeX |
2 |
Lecture notes for Algebra 2023S. |
Apr 21, 2023 |
|
|
JavaScript |
2 |
Repository for class lecture notes |
May 30, 2023 |
|
|
JavaScript |
2 |
Repository for class lecture notes |
Jun 14, 2023 |
|
|
TypeScript |
2 |
This repository contains all lecture details, assignments, homeworks, etc. |
May 21, 2023 |
|
|
Lean |
4 |
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … |
May 27, 2022 |
|
|
Lean |
4 |
None |
Dec 15, 2021 |
|
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
|
Lean |
4 |
Implementation of different type theories in Lean4 |
Jun 04, 2022 |
|
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
|
Lean |
4 |
Some advanced undergrad group theory in Lean |
May 16, 2021 |
|
|
Lean |
4 |
Lean notes for Imperial course P11 : Galois Theory |
May 16, 2021 |
|
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |