My solutions to Tao's Analysis I, formalized in Lean
☆42Sep 23, 2025Updated 6 months ago
Alternatives and similar repositories for analysis-solutions
Users that are interested in analysis-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- plc key management app☆30Sep 21, 2025Updated 6 months ago
- ☆10Oct 17, 2023Updated 2 years ago
- The React Framework☆14Dec 4, 2025Updated 4 months ago
- Formalization of "Analysis I" by Terence Tao☆21May 6, 2025Updated 11 months ago
- Wave function collapse procedural generation for arbitrary graphs☆15Nov 4, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- @aquareum/atproto-oauth-client-react-native☆21Jan 3, 2025Updated last year
- ☆13Dec 2, 2021Updated 4 years ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 9 months ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated last year
- Diagrams to visually learn Falco and its eBPF probe☆15Jun 24, 2021Updated 4 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.
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- ☆10Feb 25, 2025Updated last year
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 6 months ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- A mini-linguagem do livro 'The Unix Programming Environment", com explicações em PT-BR☆16Jan 11, 2019Updated 7 years ago
- ☆13Apr 8, 2026Updated last week
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [TODO] Higher-order Components Helpers☆12May 15, 2015Updated 10 years ago
- ☆13May 2, 2010Updated 15 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆14Oct 20, 2015Updated 10 years ago
- the AI powered BDD test framework for typescript projects☆18Feb 4, 2026Updated 2 months ago
- KarrotCodableKit simplifies Swift's Codable protocol by offering support for polymorphism, property wrappers, and macros to handle comple…☆15Apr 7, 2026Updated last week
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Exploring how to make react-style work with HMR and react-hot-loader☆14May 12, 2015Updated 10 years ago
- Gerar tabelas verdade de fórmulas da lógica sentencial☆11Apr 15, 2022Updated 4 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years 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 Feedback Board to Manage Work☆15Aug 8, 2024Updated last year
- ☆14Jan 3, 2018Updated 8 years ago
- A React Native todo app☆12Sep 15, 2025Updated 7 months ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆26Feb 28, 2026Updated last month
- ☆10Aug 14, 2024Updated last year
- ☆12Nov 4, 2015Updated 10 years ago
- agent builder☆75Jan 9, 2026Updated 3 months ago