My solutions to Tao's Analysis I, formalized in Lean
☆45Sep 23, 2025Updated 11 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:
- ☆10Oct 17, 2023Updated 2 years ago
- Formalization of "Analysis I" by Terence Tao☆27Apr 17, 2026Updated 4 months ago
- plc key management app☆30Sep 21, 2025Updated 11 months ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆16Feb 8, 2024Updated 2 years ago
- Lean 形式化数学☆19Dec 20, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Alternative syntax for Erlang☆20Nov 22, 2025Updated 9 months ago
- Koans to learn rhine☆14Updated this week
- @aquareum/atproto-oauth-client-react-native☆21Jan 3, 2025Updated last year
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- OpenAI API Benchmarking Tool☆16May 3, 2026Updated 4 months ago
- A writer for object file ar archives☆16Jul 31, 2026Updated last month
- Create a system tray menu from a YAML file with shell commands☆10Updated this week
- OpenGraph image generation for crates.io packages☆17Aug 9, 2026Updated 3 weeks ago
- A plugin for Angular JS that lets you write code with the FLUX pattern☆16Nov 2, 2014Updated 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.
- ☆13Dec 2, 2021Updated 4 years ago
- Sublime Text Plugin for CSS Web Colors and expanding hex codes.☆15Jan 10, 2014Updated 12 years ago
- ☆14Apr 28, 2024Updated 2 years ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆25Aug 26, 2026Updated last week
- Combinatorial game library in Lean 4☆109Sep 1, 2026Updated last week
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Ready to use UI patterns for websites☆17Sep 17, 2015Updated 10 years ago
- A fast window manager for macOS with fuzzy search☆23Jan 2, 2026Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Aug 17, 2026Updated 3 weeks ago
- This project provides Adobe Illustrator ExtendScripts to export graphics to ART Script files.☆18Jun 7, 2010Updated 16 years ago
- A Basic SPN cryptanalysis☆15Dec 1, 2021Updated 4 years ago
- Homemade implementation of Square Attack against 4 rounds AES☆14Feb 2, 2020Updated 6 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Your ACP server has bugs.☆17Jun 2, 2026Updated 3 months ago
- Mirror of Apache Maven 2☆15May 15, 2026Updated 3 months ago
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 5 years ago
- ☆17Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A real-time collaborative Markdown editor using PubNub☆12Jan 25, 2017Updated 9 years ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- ☆29Jun 11, 2024Updated 2 years ago
- Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and…☆18Aug 3, 2026Updated last month
- This repository contains all the documents related to the Rust release team.☆18Jan 8, 2025Updated last year
- A very messy React Server Components implementation.☆163Mar 21, 2024Updated 2 years ago
- Platform-aware programming in Julia☆13May 28, 2026Updated 3 months ago