Formalization of "Analysis I" by Terence Tao
☆23Apr 17, 2026Updated 3 weeks ago
Alternatives and similar repositories for lean4-analysis-tao
Users that are interested in lean4-analysis-tao are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course☆20Oct 21, 2025Updated 6 months ago
- plc key management app☆30Sep 21, 2025Updated 7 months ago
- a fork of the atproto "statusphere" demo that uses vite/react☆40Sep 30, 2025Updated 7 months ago
- My solutions to Tao's Analysis I, formalized in Lean☆42Sep 23, 2025Updated 7 months ago
- ☆29Jun 11, 2024Updated last year
- 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.
- ☆11Nov 8, 2024Updated last year
- [TODO] Higher-order Components Helpers☆12May 15, 2015Updated 10 years ago
- The VulcanJS homepage☆10Jan 31, 2022Updated 4 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆14Oct 20, 2015Updated 10 years ago
- Create, store and trade randomly generated digital artwork on the blockchain.☆10Apr 5, 2023Updated 3 years ago
- Exploring how to make react-style work with HMR and react-hot-loader☆14May 12, 2015Updated 10 years ago
- ☆10Oct 17, 2023Updated 2 years ago
- A Feedback Board to Manage Work☆15Aug 8, 2024Updated last year
- ☆14Jan 3, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- JSON tree component for Svelte☆14Sep 10, 2025Updated 7 months ago
- A React Native todo app☆12Sep 15, 2025Updated 7 months ago
- Allows one Meteor user to login as another (e.g. for admin purposes)☆13Jul 9, 2015Updated 10 years ago
- ☆10Aug 14, 2024Updated last year
- ☆12Nov 4, 2015Updated 10 years ago
- agent builder☆75May 2, 2026Updated last week
- The T-Shirt artwork of the JSConf EU performance.☆10Sep 27, 2015Updated 10 years ago
- Linux With Vibes Deserves A Conference☆18Jul 13, 2025Updated 9 months ago
- App review platform☆12Jan 11, 2023Updated 3 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.
- A simple boilerplate for a universal progressive web application including some default components built using React + Redux☆13May 2, 2018Updated 8 years ago
- The Bluesky Social application for Web, iOS, and Android☆11Jan 9, 2026Updated 4 months ago
- A @sveltejs native version of a weather app inspire by https://github.com/3stbn/weather-app-react-native☆14Dec 20, 2020Updated 5 years ago
- Map a universal avatar against your EOS blockchain account (stored using the IPFS protocol).☆13Nov 17, 2018Updated 7 years ago
- A Phaser 3 game demo☆15Mar 20, 2019Updated 7 years ago
- MQTT based Ring Alarm integration for Home Assistant☆11Mar 16, 2019Updated 7 years ago
- Cross-chain DEX built on RenVM Chaosnet☆11Aug 11, 2021Updated 4 years ago
- View your stats in Balatro!☆14Mar 16, 2025Updated last year
- A tool for automatically identifying and analyzing flaky tests in your Playwright test suite.☆11Nov 13, 2023Updated 2 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.
- Exports files to FS (even in devserver mode)☆18May 30, 2015Updated 10 years ago
- The monorepo home to all of the FormatJS related libraries, most notably react-intl.☆11Aug 3, 2024Updated last year
- Recover your wallet simply and securely with 5 locations that you remember☆12Jan 19, 2023Updated 3 years ago
- Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.☆11Jan 24, 2023Updated 3 years ago
- 🔶 Start Here! 🔶 Simple example of a Burner Wallet.☆11Feb 4, 2026Updated 3 months ago
- A tool to simulate Ethereum 2.0 execution☆13Mar 13, 2020Updated 6 years ago
- Write Redis to Postgres☆15Sep 25, 2024Updated last year