lecture notes that I wished were available somewhere
☆16Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for lec_notes
Users that are interested in lec_notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TechX 2019 Introduction to Machine Learning Course Material☆12Nov 22, 2022Updated 3 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆15Sep 4, 2024Updated 2 years ago
- Code for reproducing the results of "IBM Q Experience as a versatile experimental testbed for simulating open quantum systems"☆20Jan 29, 2020Updated 6 years ago
- Pricing and Analysis of Financial Derivative by Credit Suisse using Monte Carlo, Geometric Brownian Motion, Heston Model, CIR model, est…☆31Aug 12, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Describing the step to have your own VPN service on the cloud☆23Aug 22, 2020Updated 6 years ago
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆26Aug 9, 2025Updated last year
- ☆14Sep 7, 2025Updated 11 months ago
- ☆32Jul 7, 2026Updated last month
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆18Jan 3, 2026Updated 8 months ago
- # A simple variable binding library based on well-scoped indices and environments☆40Updated this week
- 单纯群精华信息汇总☆19Dec 13, 2024Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆20Nov 4, 2021Updated 4 years ago
- A complete collection of my undergraduate notes☆36Jun 13, 2022Updated 4 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.
- 火狐客制化☆22Apr 4, 2025Updated last year
- notes on topos theory (Chinese)☆17Nov 28, 2024Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆31Dec 21, 2024Updated last year
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- ☆74Aug 20, 2024Updated 2 years ago
- An attempt at safe imperative GPU programming.☆70Jul 6, 2026Updated 2 months ago
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆38Updated this week
- 代数基本观念☆36Jun 15, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A VSCode extension to use the Qiskit Code Assistant (Beta)☆95May 29, 2026Updated 3 months ago
- ☆55Feb 19, 2024Updated 2 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Updated this week
- Web portal of Quantum Open Source Foundation☆147Aug 26, 2026Updated last week
- LaTeX sources for notes for the maths courses at Cambridge.☆112Jun 12, 2024Updated 2 years ago
- Staged compilation with dependent types☆187Feb 1, 2026Updated 7 months ago
- Lightweight library of stochastic gradient MCMC algorithms written in JAX.☆106Oct 23, 2023Updated 2 years ago
- ☆133Jul 17, 2024Updated 2 years ago
- Package to use Wolfram Language in your LaTeX documents☆141Apr 18, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Notes, exercises and other materials related to causal inference, causal discovery and causal ML.☆166Aug 14, 2026Updated 3 weeks ago
- A set of skills to call your agent Bayes. Thomas Bayes.☆172Updated this week
- The multilingual framework to localize LaTeX, LuaLaTeX and XeLaTeX☆173Updated this week
- Quantum algorithms built using pyQuil.☆383Dec 2, 2021Updated 4 years ago
- An experimental language for causal reasoning☆277Jul 24, 2026Updated last month
- ☆220Apr 17, 2024Updated 2 years ago
- Source code for the nLab☆229Mar 15, 2025Updated last year