gaearon

overreacted.io

Personal blog by Dan Abramov.

react

A declarative, efficient, and flexible JavaScript library for building user interfaces.

analysis-solutions

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

website

Yarn package manager website

react-freeze

Prevent React component subtrees from rendering.

react-native

A framework for building native apps with React.

sandpack

A component toolkit for creating live-running code editing experiences, using the power of CodeSandbox.

expo

An open-source platform for making universal native apps with React. Expo runs on Android, iOS, and the web.

next.js

The React Framework

next-react-server-components

Demo repository for Next.js + React Server Components

react-native-website

The site and docs for React Native

formatjs

The monorepo home to all of the FormatJS related libraries, most notably react-intl.

DefinitelyTyped

The repository for high quality TypeScript type definitions.

social-app

The Bluesky Social application for Web, iOS, and Android

babel.github.io

test.react.dev

(Work in progress) React documentation website in Test Test TEst

metro

🚇 The JavaScript bundler for React Native.

cerebral

Declarative state and side effects management for popular JavaScript frameworks

react-native-reanimated

React Native's Animated library reimplemented

react-native-svg

SVG library for React Native, React Native Web, and plain React web projects.

react-navigation

Routing and navigation for your React Native apps

fastify-vite

Fastify plugin for Vite integration.

formalising-mathematics-notes

Course notes for Formalising Mathematics 2025

reanimated-repro-weird

lean-lsp-mcp

Lean Theorem Prover MCP

react-native-image-crop-picker

iOS/Android image picker with support for camera, video, configurable compression, multiple images and cropping

rn-bug-loop

ssr-performance-showdown

Let's evaluate the performance of SSR libraries

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

simple-rsc