Formalization of "Analysis I" by Terence Tao
☆23Apr 17, 2026Updated this week
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☆19Oct 21, 2025Updated 5 months ago
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆40Apr 8, 2026Updated last week
- plc key management app☆30Sep 21, 2025Updated 6 months ago
- @aquareum/atproto-oauth-client-react-native☆21Jan 3, 2025Updated last year
- a fork of the atproto "statusphere" demo that uses vite/react☆40Sep 30, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Node.js service monitor☆13Sep 16, 2014Updated 11 years ago
- ☆29Jul 16, 2025Updated 9 months ago
- CLI tool for subdomain recon, DNS brute-force, scoring & security probes — written in Go.☆16May 17, 2025Updated 11 months ago
- My solutions to Tao's Analysis I, formalized in Lean☆42Sep 23, 2025Updated 6 months ago
- ☆29Jun 11, 2024Updated last year
- ☆11Nov 8, 2024Updated last year
- Message Communication Protocol server for json2video API integration☆25May 10, 2025Updated 11 months ago
- The IDM mini-chat DApp workshop☆10May 1, 2025Updated 11 months ago
- [TODO] Higher-order Components Helpers☆12May 15, 2015Updated 10 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.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆83Updated this week
- A lightweight library for working with JSON Lines (JSONL) data in Swift.☆18Jul 24, 2025Updated 8 months 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
- 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
- 🚀 Material-UI based Audio Player☆10Dec 2, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆75Jan 9, 2026Updated 3 months ago
- Linux With Vibes Deserves A Conference☆18Jul 13, 2025Updated 9 months ago
- App review platform☆12Jan 11, 2023Updated 3 years ago
- ☆13Nov 17, 2024Updated last year
- A @sveltejs native version of a weather app inspire by https://github.com/3stbn/weather-app-react-native☆14Dec 20, 2020Updated 5 years ago
- The Bluesky Social application for Web, iOS, and Android☆11Jan 9, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Coding challenge for front-end dev candidates☆13Jan 26, 2023Updated 3 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
- Exports files to FS (even in devserver mode)☆18May 30, 2015Updated 10 years ago