SJTU-ACM-Class-2018 / lecture-notes-of-probabilityView external linksLinks
lecture notes of probability notes
☆17Jul 7, 2020Updated 5 years ago
Alternatives and similar repositories for lecture-notes-of-probability
Users that are interested in lecture-notes-of-probability are comparing it to the libraries listed below
Sorting:
- ☆19May 11, 2020Updated 5 years ago
- ☆70Jun 21, 2020Updated 5 years ago
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 5 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- A compiler for the course Compiler 2017 at ACM Class, SJTU.☆80May 26, 2018Updated 7 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- 收录CS卷王的经典强（mai）者（ruo）语录☆11May 16, 2021Updated 4 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 5 years ago
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 5 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- Jupytext talk at PyParis 2018☆11Dec 10, 2018Updated 7 years ago
- Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.☆10Oct 31, 2023Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Quick search, preview directly in alfred any icons by the thenounproject.com service.☆12Mar 28, 2023Updated 2 years ago
- COS 429 final project completed by Adam Fisch and Max Shatkhin. Using image processing techniques including Eulerian Video Magnification …☆10Sep 25, 2015Updated 10 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- A web crawler that fetches K-pop song details and lyrics from top charts☆12Jul 18, 2017Updated 8 years ago
- ☆10May 2, 2016Updated 9 years ago
- Computation using data flow graphs for scalable machine learning☆10Mar 15, 2018Updated 7 years ago
- A collection of .bashrc stuff and other dotfiles☆20Feb 2, 2026Updated 2 weeks ago
- Fit, plot and compare several (extreme value) distributions by means of a plot with return periods on a linear scale☆13Jan 10, 2026Updated last month
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- NPL.load("npl_packages/main/");☆11Feb 28, 2023Updated 2 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 5 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 14 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- 👾 my production-grade code an E2E distributed pipeline to extract and process surfing videos (surfline sessions)☆14Oct 15, 2024Updated last year
- Worksheets and lecture notes for my math courses for school students (in German)☆10Jan 15, 2026Updated last month
- #python experience code☆11Nov 27, 2018Updated 7 years ago
- XCPC Standard Code Library☆50Nov 20, 2024Updated last year
- Generates the student-facing Stat406 website☆12Dec 18, 2025Updated last month
- Python library for searching lyrics on Musixmatch, Genius and letras.mus.br.☆10Oct 10, 2024Updated last year
- Alex Bennée's hacking copy of QEMU. Be aware branches which are not pull requests can get re-based all the time☆10Feb 6, 2026Updated last week
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- ✍️ The notes of courses in Shanghai Jiao Tong University☆177Sep 24, 2021Updated 4 years ago
- Critic Guided Segmentation of Rewarding Objects in First-Person Views. Explanatory video:☆13May 21, 2022Updated 3 years ago