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:
- A solutions manual to Walter Rudin's "Principles of Mathematical Analysis (3/e)".☆15Aug 19, 2017Updated 9 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- ☆15Jul 29, 2024Updated 2 years ago
- Blog Posts Repo☆12Jun 3, 2019Updated 7 years ago
- Tool to analyse the import structure of lean projects.☆28Updated this week
- 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.
- Lean 形式化数学☆21Dec 20, 2025Updated 9 months ago
- Generate xml documentaton comment stubs for c++ when three forward slashes are typed☆13Mar 21, 2018Updated 8 years ago
- Documentation for LaTeXing.☆16Sep 10, 2015Updated 11 years ago
- A Retail store management system - DBMS project (Sep 2015) written in Django (Python)☆11Aug 11, 2020Updated 6 years ago
- ☆25Apr 6, 2026Updated 6 months ago
- Credit Default Swaps in R☆13Sep 13, 2017Updated 9 years ago
- Lean 定理证明☆29Jul 5, 2026Updated 3 months ago
- Tiny evaluation of leading LLMs on competitive programming problems☆14Apr 10, 2026Updated 6 months ago
- Heterogeneous Autoregressive model of Realized Volatility (HAR-RV), introduced by F Corsi (2009).☆11Sep 18, 2020Updated 6 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.
- ☆15Sep 3, 2024Updated 2 years ago
- Pytorch code for learning an underlying PDE from given data.☆15Nov 24, 2021Updated 4 years ago
- Instance-Level Salient Object Detection, Computer Vision and Image Understanding (CVIU), 2021.☆12Apr 23, 2021Updated 5 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆27Updated this week
- A data structure to track data over time. It works by tracking time/schedule information rather than tracking data changes over time.☆13Sep 13, 2026Updated 3 weeks ago
- How to write an academic paper☆11Oct 20, 2022Updated 3 years ago
- An add-on for Blender to create spreadsheets from an IFC and use the table-filter from the spreadsheet to visualize the 3D IFC elements …☆18Oct 30, 2023Updated 2 years ago
- Tool to parse wiki tables from the HTML dump of Wikipedia☆11Jun 12, 2022Updated 4 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Challenge web-app created for the Master BIM Software Developer☆20Mar 6, 2025Updated last year
- ☆10Apr 10, 2019Updated 7 years ago
- Lean 函数式编程☆48Aug 23, 2026Updated last month
- ☆12Feb 27, 2025Updated last year
- MoeLe homepage☆20Nov 13, 2020Updated 5 years ago
- Data Structures in Python☆10Jul 13, 2026Updated 2 months ago
- ☆10Apr 17, 2023Updated 3 years ago
- Automatically generates captions for an image using Image processing and NLP. Model was trained on Flickr30K dataset.☆11Jun 11, 2020Updated 6 years ago
- 使用github-pages和jekyll的博客模板☆12Jan 22, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Digital some old math books and build as ebook☆23Dec 31, 2020Updated 5 years ago
- Stop your users from using "import *"☆14Dec 3, 2023Updated 2 years ago
- MATLAB学习☆11Feb 10, 2018Updated 8 years ago
- Try a tactic at each step in a Lean proof.☆39Updated this week
- This repository is an official implementation of the paper A Simple Baseline for Open-World Tracking via Self-training.☆10Jan 26, 2024Updated 2 years ago
- ☆33Jul 22, 2025Updated last year
- All of the code shown in my YouTube tutorials. Files are grouped by Playlist, then Video Title.☆43Apr 24, 2024Updated 2 years ago