SJTU-ACM-Class-2018/lecture-notes-of-probability external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

SJTU-ACM-Class-2018/lecture-notes-of-probability

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/SJTU-ACM-Class-2018/lecture-notes-of-probability)

Close

SJTU-ACM-Class-2018 / lecture-notes-of-probabilityView on GitHubMore

• External links
• Readme badge

lecture notes of probability notes

☆18Jul 7, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• peterzheng98 / Compiler-2020

  View on GitHub
  ☆19May 11, 2020Updated 6 years ago
• Engineev / ravel

  View on GitHub
  A RISC-V simulator
  ☆37Aug 27, 2023Updated 3 years ago
• aylai / MultiPremiseEntailment

  View on GitHub
  Data and code for Natural Language Inference with Multiple Premises
  ☆13May 15, 2019Updated 7 years ago
• oscardhc / Compiler-Spider

  View on GitHub
  http://spider.oscardhc.com
  ☆13Jul 9, 2020Updated 6 years ago
• hf4Academic / PRM

  View on GitHub
  ☆19Sep 9, 2021Updated 5 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• cubercsl / polygon2domjudge

  View on GitHub
  [EOL] Process Polygon Package to DOMjudge Package.
  ☆12Apr 24, 2021Updated 5 years ago
• CentaurusInfra / global-resource-scheduler

  View on GitHub
  Arktos for large-scale cloud platform
  ☆15May 11, 2023Updated 3 years ago
• vijos / vijosos

  View on GitHub
  Vijos: Vijos Isn't Just an Operating System
  ☆10May 31, 2020Updated 6 years ago
• ihanwen99 / My-Computer-Science-Learning

  View on GitHub
  我的计算机科学学习之路 - 上海交通大学 SJTU
  ☆39Nov 19, 2022Updated 3 years ago
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• NPLPackages / main

  View on GitHub
  NPL.load("npl_packages/main/");
  ☆11Jul 17, 2026Updated 2 months ago
• fstqwq / Nemesis

  View on GitHub
  XCPC Standard Code Library
  ☆53Nov 20, 2024Updated last year
• SeanChao / iMagicSJTU

  View on GitHub
  ⚡ Bring some magic to i.sjtu.edu.cn
  ☆22Jan 3, 2020Updated 6 years ago
• janestreet / splay_tree

  View on GitHub
  A splay tree implementation.
  ☆13Jul 10, 2026Updated 2 months ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• xuyifangreeneyes / mxcompiler

  View on GitHub
  Craft a toy compiler
  ☆10Aug 21, 2019Updated 7 years ago
• abcdabcd987 / LLIRInterpreter

  View on GitHub
  Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.
  ☆15Apr 27, 2016Updated 10 years ago
• dylanpeifer / deepgroebner

  View on GitHub
  Applications of reinforcement learning to Groebner basis computation.
  ☆14Jun 13, 2021Updated 5 years ago
• twd2 / roload

  View on GitHub
  My DAC '21 work open-sourced.
  ☆14Feb 25, 2021Updated 5 years ago
• funexists / coq-lean-cheatsheet

  View on GitHub
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆19Jul 25, 2023Updated 3 years ago
• yifanlu0227 / EI332-SJTU-2020

  View on GitHub
  SJTU-EI332 计算机组成实验 pipelined cpu
  ☆12Jun 11, 2020Updated 6 years ago
• Engineev / mocker

  View on GitHub
  A compiler for course Compiler 2019
  ☆16Jan 9, 2020Updated 6 years ago
• bttown / metadata

  View on GitHub
  a infohash metadata collector
  ☆25Jun 14, 2018Updated 8 years ago
• appliedfm / vstyle

  View on GitHub
  A style guide for Coq
  ☆18Nov 30, 2021Updated 4 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• ljzycmd / RAWBlur

  View on GitHub
  Real-world video deblurring by synthesizing realistic blurs in RAW space
  ☆13Jun 21, 2023Updated 3 years ago
• ethliup / UnrealCV

  View on GitHub
  UnrealCV for image rendering from 3D model
  ☆14May 21, 2020Updated 6 years ago
• Engineev / quintet

  View on GitHub
  An implementation of the Raft consensus protocol.
  ☆14Aug 6, 2018Updated 8 years ago
• ShanghaitechGeekPie / LatexTemplate

  View on GitHub
  上海科技大学非官方Latex模版库
  ☆17Apr 12, 2018Updated 8 years ago
• SymbioticLab / Kayak

  View on GitHub
  Proactive-adaptive arbitration between shipping compute and shipping data
  ☆18Jul 8, 2021Updated 5 years ago
• UBC-STAT / stat-406

  View on GitHub
  Generates the student-facing Stat406 website
  ☆14Sep 17, 2026Updated 3 weeks ago
• yangsizhe / MoVie

  View on GitHub
  [NeurIPS 2023] MoVie: Visual Model-Based Policy Adaptation for View Generalization
  ☆12Sep 22, 2023Updated 3 years ago
• glyh / awesome-pl-concepts

  View on GitHub
  An menu/quick reference for Programming Language concepts
  ☆20Apr 13, 2024Updated 2 years ago
• msv-lab / HoarePrompt

  View on GitHub
  Structural Reasoning About Program Correctness in Natural Language
  ☆22Jun 23, 2025Updated last year
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• Thinklab-SJTU / LIG-MM

  View on GitHub
  ☆19Aug 14, 2024Updated 2 years ago
• lsrcz / mini-prover

  View on GitHub
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Jun 17, 2018Updated 8 years ago
• SoulOfScience / Guo-s_MaiRuo_Collection

  View on GitHub
  收录CS卷王的经典强（mai）者（ruo）语录
  ☆10May 16, 2021Updated 5 years ago
• geyang / ffn

  View on GitHub
  Public Repo for the paper "Overcoming The Spectral-Bias of Neural Value Approximation"
  ☆11May 25, 2024Updated 2 years ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• jonathanichikawa / for-all-x

  View on GitHub
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆22Apr 13, 2025Updated last year
• lynzrand / chigusa

  View on GitHub
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Jun 1, 2020Updated 6 years ago