vltanh / lean4-analysis-taoView external linksLinks
Formalization of "Analysis I" by Terence Tao
☆20May 6, 2025Updated 9 months 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
Sorting:
- Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course☆18Oct 21, 2025Updated 3 months ago
- @aquareum/atproto-oauth-client-react-native☆21Jan 3, 2025Updated last year
- My solutions to Tao's Analysis I, formalized in Lean☆42Sep 23, 2025Updated 4 months ago
- a fork of the atproto "statusphere" demo that uses vite/react☆40Sep 30, 2025Updated 4 months ago
- Request an http(s) url and scrape its metadata☆15Jan 21, 2026Updated 3 weeks ago
- ☆29Jun 11, 2024Updated last year
- A third party Appview for ATproto☆80Feb 8, 2026Updated last week
- 🔶 Start Here! 🔶 Simple example of a Burner Wallet.☆11Feb 4, 2026Updated last week
- ☆24Nov 13, 2025Updated 3 months ago
- Message Communication Protocol server for json2video API integration☆24May 10, 2025Updated 9 months ago
- ☆11Nov 8, 2024Updated last year
- Coding challenge for front-end dev candidates☆13Jan 26, 2023Updated 3 years ago
- A React Native todo app☆12Sep 15, 2025Updated 5 months ago
- Cross-chain DEX built on RenVM Chaosnet☆12Aug 11, 2021Updated 4 years ago
- A Feedback Board to Manage Work☆15Aug 8, 2024Updated last year
- Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.☆11Jan 24, 2023Updated 3 years ago
- The Bluesky Social application for Web, iOS, and Android☆10Jan 9, 2026Updated last month
- agent builder☆71Jan 9, 2026Updated last month
- The T-Shirt artwork of the JSConf EU performance.☆10Sep 27, 2015Updated 10 years ago
- ☆10Oct 17, 2023Updated 2 years ago
- The VulcanJS homepage☆10Jan 31, 2022Updated 4 years ago
- App review platform☆12Jan 11, 2023Updated 3 years ago
- The IDM mini-chat DApp workshop☆10May 1, 2025Updated 9 months ago
- Map a universal avatar against your EOS blockchain account (stored using the IPFS protocol).☆13Nov 17, 2018Updated 7 years ago
- A Node.js service monitor☆13Sep 16, 2014Updated 11 years ago
- moderate farcaster channels☆15Mar 3, 2025Updated 11 months ago
- A Phaser 3 game demo☆14Mar 20, 2019Updated 6 years ago
- ☆11May 23, 2024Updated last year
- A tool to simulate Ethereum 2.0 execution☆13Mar 13, 2020Updated 5 years ago
- Simple CRM application written with React.☆10May 7, 2023Updated 2 years ago
- Hackathon resources to get started with the Wyre API as fast as possible.☆13May 2, 2019Updated 6 years ago
- ☆13Nov 17, 2024Updated last year
- turn images into oil paints☆12Jan 10, 2025Updated last year
- Recover your wallet simply and securely with 5 locations that you remember☆12Jan 19, 2023Updated 3 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆14Oct 20, 2015Updated 10 years ago
- Sample REST API using the new Serverless Azure Functions Plugin☆11Dec 10, 2022Updated 3 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Online Food Ordering App built using Html, CSS and Pure JS without any framework.☆16Oct 2, 2023Updated 2 years ago
- Download images from fliphtml5 and create PDF from them.☆14Mar 26, 2023Updated 2 years ago