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
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- Data and code for Natural Language Inference with Multiple Premises☆13May 15, 2019Updated 6 years ago
- ⚡ Bring some magic to i.sjtu.edu.cn☆22Jan 3, 2020Updated 6 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 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
- [NeurIPS 2023] MoVie: Visual Model-Based Policy Adaptation for View Generalization☆11Sep 22, 2023Updated 2 years ago
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 5 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 5 years ago
- U-Net for BDD100K Dataset☆13Jan 1, 2019Updated 7 years ago
- A collection of .bashrc stuff and other dotfiles☆20Feb 19, 2026Updated 2 weeks ago
- ☆10May 2, 2016Updated 9 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- 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
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.☆10Mar 3, 2026Updated last week
- 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
- Computation using data flow graphs for scalable machine learning☆10Mar 15, 2018Updated 7 years ago
- "Summer Programming Practice 2020" for RUC Turing Class 2019☆10Jul 29, 2020Updated 5 years ago
- ☆10Apr 7, 2016Updated 9 years ago
- Quick search, preview directly in alfred any icons by the thenounproject.com service.☆12Mar 28, 2023Updated 2 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- R package crs (Categorical Regression Splines)☆17Feb 23, 2026Updated 2 weeks ago
- NPL.load("npl_packages/main/");☆11Feb 28, 2023Updated 3 years ago
- A web crawler that fetches K-pop song details and lyrics from top charts☆12Jul 18, 2017Updated 8 years ago
- 收录CS卷王的经典强（mai）者（ruo）语录☆11May 16, 2021Updated 4 years ago
- Alex Bennée's hacking copy of QEMU. Be aware branches which are not pull requests can get re-based all the time☆10Feb 27, 2026Updated last week
- A series of introductory instructional python notebooks, for computational number theory.☆17Feb 12, 2018Updated 8 years ago
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 3 weeks ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- #python experience code☆11Nov 27, 2018Updated 7 years ago
- 👾 my production-grade code an E2E distributed pipeline to extract and process surfing videos (surfline sessions)☆14Oct 15, 2024Updated last year
- An online code editor (playground) for Galois.☆13Jan 4, 2023Updated 3 years ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- ☆10Dec 15, 2023Updated 2 years ago
- ✍️ The notes of courses in Shanghai Jiao Tong University☆176Sep 24, 2021Updated 4 years ago