ProFatXuanAll / terence-tao-analysisView external linksLinks
My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.
☆63Jul 26, 2023Updated 2 years ago
Alternatives and similar repositories for terence-tao-analysis
Users that are interested in terence-tao-analysis are comparing it to the libraries listed below
Sorting:
- A curated list of personalized Language model / Large language model (continually updated)☆10Nov 17, 2023Updated 2 years ago
- Tools and libraries for writing Kokkos-enabled HPC C++ in E3SM ecosystem☆20Updated this week
- 《积分精选》重制版☆16Dec 24, 2025Updated last month
- A better looping and iteration macro for Emacs.☆27Feb 4, 2026Updated last week
- Installer of TeX Live - for issues please contact the tex-live mailing list at tug.org☆32Updated this week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- My Emacs Config☆13Jan 29, 2026Updated 2 weeks ago
- Animations made by python☆10Jun 19, 2020Updated 5 years ago
- the datasets of our paper☆11Feb 26, 2024Updated last year
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Check storage of products in Chiikawa market.☆12Jan 10, 2025Updated last year
- ☆10Jul 25, 2022Updated 3 years ago
- IT 大V韭菜恩爱史☆11Dec 7, 2019Updated 6 years ago
- ☆11Dec 4, 2025Updated 2 months ago
- ☆12Nov 28, 2025Updated 2 months ago
- Demo code showing how to use Java's StructuredTaskScope☆12Dec 10, 2025Updated 2 months ago
- blog of https://z.wiki☆11Dec 14, 2025Updated 2 months ago
- ☆13May 14, 2024Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- Codes for "Benchmarking the Generation of Fact Checking Explanations"☆10Aug 16, 2024Updated last year
- 👔 Yet Another Lightweight Emacs Configuration, Using KISS philosophy.☆10Nov 1, 2023Updated 2 years ago
- ACF's OPRE OPS product. Code name Unicorn.☆12Updated this week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Hedera Token Service Distribution Tool☆11Mar 11, 2025Updated 11 months ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Updated this week
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- This is a blog app created using the Flask web framework in Python for the backend and HTML/CSS & JavaScript for frontend. With this app,…☆10Jul 11, 2024Updated last year
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Feb 4, 2026Updated last week
- Initializing neural networks for hierarchical multi-label text classification☆11Mar 1, 2019Updated 6 years ago
- A low-cost ROS navigation-enabled mobile robot platform☆12Jul 15, 2018Updated 7 years ago
- flash loan on EOS network☆11Apr 10, 2020Updated 5 years ago
- simplify the prediction process for a finetuned bert model☆11Jun 19, 2019Updated 6 years ago
- Source code for thinkaboutthis.fm☆11Jan 11, 2023Updated 3 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year