gaearon/analysis-solutions external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

gaearon/analysis-solutions

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/gaearon/analysis-solutions)

Close

gaearon / analysis-solutionsView on GitHubMore

• External links
• Readme badge

My solutions to Tao's Analysis I, formalized in Lean

☆42Sep 23, 2025Updated 5 months ago

Alternatives and similar repositories for analysis-solutions

Users that are interested in analysis-solutions are comparing it to the libraries listed below

• mozzius / bsky-simple-viewer

  View on GitHub
  ☆10Oct 17, 2023Updated 2 years ago
• madvorak / fecssk

  View on GitHub
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆15Feb 8, 2024Updated 2 years ago
• vltanh / lean4-analysis-tao

  View on GitHub
  Formalization of "Analysis I" by Terence Tao
  ☆21May 6, 2025Updated 10 months ago
• bbentzen / mpl

  View on GitHub
  A Henkin-style completeness proof for the modal logic S5
  ☆17Jun 20, 2021Updated 4 years ago
• streamplace / atproto-oauth-client-react-native

  View on GitHub
  @aquareum/atproto-oauth-client-react-native
  ☆21Jan 3, 2025Updated last year
• sudomaxime / zig-uuid-v4

  View on GitHub
  Zig uuidv4 implementation without allocations
  ☆11Dec 4, 2024Updated last year
• thapatechnical / nodeEmail

  View on GitHub
  send mail using node
  ☆10Jan 7, 2023Updated 3 years ago
• bradtraversy / friendly-dev-backend

  View on GitHub
  Strapi backend for Friendly Dev portfolio website
  ☆19Jun 12, 2025Updated 8 months ago
• thapatechnical / card-filters

  View on GitHub
  HTML
  ☆10Aug 29, 2023Updated 2 years ago
• cau-placc / pakcs

  View on GitHub
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Feb 22, 2026Updated last week
• renlabs-dev / torus-ts

  View on GitHub
  Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.
  ☆16Feb 16, 2026Updated 2 weeks ago
• dollspace-gay / Aurora-Prism

  View on GitHub
  A third party Appview for ATproto
  ☆82Updated this week
• trananhtuat / css-smoke-effect

  View on GitHub
  CSS Smoke Effect | CSS Animation
  ☆14Aug 4, 2022Updated 3 years ago
• guildatech / GuildaEx

  View on GitHub
  Site da Guilda feito com Elixir e Phoenix LiveView.
  ☆10Feb 23, 2023Updated 3 years ago
• hypersleep / rails-on-arm

  View on GitHub
  Instructions how to run Ruby on Rails on ARM processors
  ☆12Aug 6, 2020Updated 5 years ago
• IstoraMandiri / meteor-method-hooks

  View on GitHub
  Provides server-side before/after hooks for Meteor methods
  ☆11Jan 12, 2016Updated 10 years ago
• tsadimas / fastapi-helm-chart

  View on GitHub
  Helm Chart for Fastapi Deployment
  ☆10May 18, 2020Updated 5 years ago
• altenwald / leprechaun

  View on GitHub
  Leprechaun Game wrote in Elixir
  ☆12Nov 3, 2023Updated 2 years ago
• ulissesalmeida / ex_zample

  View on GitHub
  A scalable error-friendly factories for your Elixir apps
  ☆10Oct 13, 2020Updated 5 years ago
• fersilva16 / lcts

  View on GitHub
  Lambda Calculus parser and interpreter made in TypeScript's type system
  ☆14May 24, 2024Updated last year
• thass0 / tatix

  View on GitHub
  From-scratch kernel built to serve web pages
  ☆28Sep 27, 2025Updated 5 months ago
• BitlyTwiser / zinger

  View on GitHub
  Simple HTTP request library for Zig applications
  ☆13Dec 30, 2024Updated last year
• gabrielmfern / intricate

  View on GitHub
  A gpu accelerated neural network Rust crate.
  ☆15Apr 17, 2023Updated 2 years ago
• thedeepchecker / thedeepchecker

  View on GitHub
  TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs
  ☆10Nov 2, 2022Updated 3 years ago
• rems-project / reviewing-good-and-bad-reasons

  View on GitHub
  ☆14Dec 2, 2021Updated 4 years ago
• arthurmbandeira / nodejs-currency-converter

  View on GitHub
  A simple currency converter based on https://fixer.io.
  ☆11May 25, 2018Updated 7 years ago
• catalinmiron / react-native-monodo

  View on GitHub
  A React Native todo app
  ☆12Sep 15, 2025Updated 5 months ago
• Biki-das / Feedback-App

  View on GitHub
  A Feedback Board to Manage Work
  ☆15Aug 8, 2024Updated last year
• ethanniser / effect-atom-optimistic-update-demo

  View on GitHub
  ☆20Oct 16, 2025Updated 4 months ago
• jhenriks79 / Dtu-Calculator-Perf-Collector

  View on GitHub
  The perf collector will capture resource utilization for a database server and create a CSV file to be uploaded to the Azure SQL Database…
  ☆11Dec 13, 2017Updated 8 years ago
• robertzk / dummit-foote

  View on GitHub
  Some solutions to the Dummit & Foote abstract algebra textbook
  ☆13Oct 26, 2015Updated 10 years ago
• epicweb-dev / counter-app

  View on GitHub
  This is a demo of deploying node and sqlite to fly
  ☆11Mar 1, 2023Updated 3 years ago
• iamshaunjp / css-pixel-art

  View on GitHub
  ☆13Nov 16, 2023Updated 2 years ago
• playbit / 3rd-party-oss

  View on GitHub
  Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software
  ☆12Jul 14, 2025Updated 7 months ago
• codersgyan / yt-elib-nextjs-client-app

  View on GitHub
  ☆11May 23, 2024Updated last year
• dev-in-book / imfp

  View on GitHub
  📚 에릭 노먼드의 <함수형 코딩>을 읽고 정리합니다.
  ☆11Jan 11, 2023Updated 3 years ago
• omacom-io / omacon

  View on GitHub
  Linux With Vibes Deserves A Conference
  ☆18Jul 13, 2025Updated 7 months ago
• shahradelahi / circular-buffer

  View on GitHub
  ♻️ Circular Buffer implementation for JavaScript
  ☆14Feb 24, 2026Updated last week
• kevin-powell / fem-manage-landing-page-part-4

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago