Formalization of "Analysis I" by Terence Tao
☆21May 6, 2025Updated 10 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☆19Oct 21, 2025Updated 4 months ago
- Request an http(s) url and scrape its metadata☆15Jan 21, 2026Updated last month
- Cross-chain DEX built on RenVM Chaosnet☆12Aug 11, 2021Updated 4 years ago
- The T-Shirt artwork of the JSConf EU performance.☆10Sep 27, 2015Updated 10 years ago
- 🔶 Start Here! 🔶 Simple example of a Burner Wallet.☆11Feb 4, 2026Updated last month
- Map a universal avatar against your EOS blockchain account (stored using the IPFS protocol).☆13Nov 17, 2018Updated 7 years ago
- [TODO] Higher-order Components Helpers☆12May 15, 2015Updated 10 years ago
- Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.☆11Jan 24, 2023Updated 3 years ago
- App review platform☆12Jan 11, 2023Updated 3 years ago
- ☆10Jan 24, 2023Updated 3 years ago
- The IDM mini-chat DApp workshop☆10May 1, 2025Updated 10 months ago
- MQTT based Ring Alarm integration for Home Assistant☆11Mar 16, 2019Updated 6 years ago
- A Node.js service monitor☆13Sep 16, 2014Updated 11 years ago
- Create, store and trade randomly generated digital artwork on the blockchain.☆10Apr 5, 2023Updated 2 years ago
- The VulcanJS homepage☆10Jan 31, 2022Updated 4 years ago
- Coding challenge for front-end dev candidates☆13Jan 26, 2023Updated 3 years ago
- 'Node Workers' for the Swarm City Dapp.☆14Apr 27, 2022Updated 3 years ago
- CLI tool for subdomain recon, DNS brute-force, scoring & security probes — written in Go.☆16May 17, 2025Updated 9 months ago
- Hackathon resources to get started with the Wyre API as fast as possible.☆13May 2, 2019Updated 6 years ago
- turn images into oil paints☆12Jan 10, 2025Updated last year
- A tool to simulate Ethereum 2.0 execution☆13Mar 13, 2020Updated 5 years ago
- A Phaser 3 game demo☆15Mar 20, 2019Updated 6 years ago
- ☆13Nov 17, 2024Updated last year
- A First Person Shooter based on the Neptunia Series made in UE4.☆12Sep 29, 2020Updated 5 years ago
- ☆14Jan 3, 2018Updated 8 years 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
- Smart contract of BlockChain Capital Ethereum token☆14Apr 27, 2017Updated 8 years ago
- Embed NFT market☆11Feb 13, 2026Updated 3 weeks ago
- JavaScript implementation of the Digiid authentication protocol: https://github.com/bitid/bitid☆11Aug 24, 2018Updated 7 years ago
- Download images from fliphtml5 and create PDF from them.☆14Mar 26, 2023Updated 2 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆14Oct 20, 2015Updated 10 years ago
- Titanium mobile application develop framework Boiler Plate Project☆13Jun 22, 2017Updated 8 years ago
- Electron + Blockstack auth demo application.☆15May 24, 2018Updated 7 years ago
- An LSTM implementation for a Rap Lyric Generator that spawns rap lyrics based on a Kaggle dataset with over 38,000 lines.☆12Dec 20, 2018Updated 7 years ago
- ReactEurope Lightning talks Call For Papers☆14Oct 2, 2021Updated 4 years ago
- Boilerplate for building a new plugin for the Burner Wallet 2☆13Feb 4, 2026Updated last month
- Exports files to FS (even in devserver mode)☆18May 30, 2015Updated 10 years ago
- ☆18May 17, 2025Updated 9 months ago
- Experiment with subscription-based context for React☆14Jun 30, 2015Updated 10 years ago