A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
☆29Sep 19, 2021Updated 5 years ago
Alternatives and similar repositories for rudin
Users that are interested in rudin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Files for lawcite biblatex style☆10Apr 17, 2023Updated 3 years ago
- This is a collection of my drawing by TikZ☆11May 7, 2019Updated 7 years ago
- ☆23Jan 19, 2023Updated 3 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- Blog Posts Repo☆12Jun 3, 2019Updated 7 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.
- ☆15Jul 29, 2024Updated 2 years ago
- ☆18Sep 11, 2026Updated last month
- Generate xml documentaton comment stubs for c++ when three forward slashes are typed☆13Mar 21, 2018Updated 8 years ago
- ☆15May 13, 2020Updated 6 years ago
- A 12 classes introductiry course in MAcroeconomics☆15Jan 28, 2026Updated 9 months ago
- Materials for "Building a Robot Judge: Data Science for Decision-Making" (ETH Zurich), Autumn 2023☆17Dec 10, 2023Updated 2 years ago
- Tool to analyse the import structure of lean projects.☆28Updated this week
- Template code for exporting Stata regression output to beautiful LaTeX tables☆19May 27, 2016Updated 10 years ago
- Heterogeneous Autoregressive model of Realized Volatility (HAR-RV), introduced by F Corsi (2009).☆11Sep 18, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 2019秋季学期顾为兵老师《数据结构及其算法》课程实验题解及优秀代码展示☆13Apr 20, 2020Updated 6 years ago
- ☆42Dec 11, 2025Updated 10 months ago
- Complex helicopter model based on the General Helicopter (GenHel) flight dynamics simulation model. This model is representative of a uti…☆16Jan 3, 2022Updated 4 years ago
- Documentation for LaTeXing.☆16Sep 10, 2015Updated 11 years ago
- ☆19Sep 22, 2023Updated 3 years ago
- DACE Toolbox source code by Hans Bruun Nielsen, Søren Nymand and Lophaven Jacob Søndergaard☆13Jul 13, 2018Updated 8 years ago
- 法律数据挖掘☆21Jan 29, 2021Updated 5 years ago
- Write LaTeX presentations directly from Lean4~☆29Dec 28, 2025Updated 10 months ago
- Linear Models with Python☆21Dec 12, 2024Updated last year
- 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.
- latex thesis template on overleaf☆13Mar 10, 2018Updated 8 years ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- This project will not be updated. Try to use Milkdown.☆29Mar 3, 2026Updated 7 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆26Updated this week
- a Corpus for Classical Chinese Language Event Extraction☆26Nov 11, 2025Updated 11 months ago
- Sample Codes for the Medium Publication "Financial Data Analysis"☆28Dec 9, 2021Updated 4 years ago
- Lean 定理证明☆30Jul 5, 2026Updated 3 months ago
- A clean graph scheme for Stata☆26May 31, 2016Updated 10 years ago
- R code and Realized Volatility (RV) series set for fitting NN-based-HAR models to multinational RV series.☆13Sep 8, 2018Updated 8 years 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.
- CHisIEC An Information Extraction Corpus for Ancient Chinese History☆27Nov 25, 2025Updated 11 months ago
- Digital some old math books and build as ebook☆23Dec 31, 2020Updated 5 years ago
- Provides Javascript animated SVGs that support the standard flight indicators for heading, speed, altitude, pitch and roll, vertical spee…☆19Jan 17, 2019Updated 7 years ago
- MoeLe homepage☆20Nov 13, 2020Updated 5 years ago
- Try a tactic at each step in a Lean proof.☆40Oct 13, 2026Updated 2 weeks ago
- ☆17Dec 5, 2019Updated 6 years ago
- Probability Theory and Mathematical Statistics Tutorial☆249Feb 6, 2024Updated 2 years ago