My solutions to Tao's Analysis I, formalized in Lean
☆42Sep 23, 2025Updated 8 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:
- The Bluesky Social application for Web, iOS, and Android☆12Jan 9, 2026Updated 5 months ago
- The site and docs for React Native☆11Nov 22, 2024Updated last year
- ☆10Oct 17, 2023Updated 2 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆16Feb 8, 2024Updated 2 years ago
- Formalization of "Analysis I" by Terence Tao☆24Apr 17, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Wave function collapse procedural generation for arbitrary graphs☆15Nov 4, 2019Updated 6 years ago
- Koans to learn rhine☆13Jun 9, 2026Updated last week
- @aquareum/atproto-oauth-client-react-native☆21Jan 3, 2025Updated last year
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 4 years ago
- John Backus' Functional Programming Systems☆16Mar 22, 2026Updated 2 months ago
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- A generic implementation of Negamax in Rust.☆14Apr 3, 2026Updated 2 months ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- Thinker project☆16Sep 4, 2024Updated last year
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Platform-aware programming in Julia☆13May 28, 2026Updated 2 weeks ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12May 11, 2026Updated last month
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A Pattern for simple Event-Driven Virtual Stylesheets: 100% CSS plus the expressive power of JavaScript☆11Nov 23, 2017Updated 8 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Geometric OptimizAtion Libraries☆19Mar 12, 2025Updated last year
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- ☆23Oct 16, 2025Updated 8 months ago
- ☆13Updated this week
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year
- [TODO] Higher-order Components Helpers☆12May 15, 2015Updated 11 years ago
- Unmaintained repository-updates likely needed. React based renderer for reflex☆13Oct 20, 2015Updated 10 years ago
- 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 11 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.
- 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
- A Feedback Board to Manage Work☆15Aug 8, 2024Updated last year
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆19May 19, 2026Updated 3 weeks ago
- Sequencer built with Phoenix LiveView.☆23Oct 16, 2024Updated last year
- ☆14Jan 3, 2018Updated 8 years ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆27Apr 29, 2026Updated last month