dan

chainlink. A CLI issue tracker for AI Agents

iter-streams. A proposal for a new streams API

happyview. A lexicon-driven AppView for ATProto.

atproto-devnet. A local ATProto network in Docker for developing and testing against a real PDS, Jetstream, and DID registry without connecting to production Bluesky.

obsidian-atmosphere. Surf the atmosphere from the coziness of your vault

bsky-experiments. A mirror of my personal monorepo's AT Proto tools

terminal-bench. A benchmark for LLMs on complicated tasks in the terminal

pi-skills. Skills for pi coding agent (compatible with Claude Code and Codex CLI)

pi. AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

woodshed. Create, run, rate, and iterate on your Claude Skills

deciduous. Decision graph tooling for AI-assisted development - track every choice, query your reasoning

cirrus. A single-user ATProto PDS that runs on a Cloudflare Worker

lockfile-tools. Tools to validate and secure your npm ecosystem lockfiles.

rscexplorer. A tool for people curious about the React Server Components protocol

belay. A Relay Compiler compatible shim for using fetch when Relay is too much

fix-react2shell-next. One command to fix CVE-2025-66478 (React 2 Shell RCE) in your Next.js / React RSC app.

next-evals-oss. Evals for Next.js up to 15.5.6 to test AI model competency at Next.js

imgui-react-runtime. React + Dear ImGui + Static Hermes

testnet. Run independent ATProtocol networks

vite-rsc-browser-example. TypeScript

prototypey. atproto lexicon typescript toolkit

vite-plugin-react-use-cache. A plugin to enable the 'use cache' directive in Vite.

protoflare. Protoflare helps you build AT Protocol apps on Cloudflare faster.

konbini. Go

Aurora-Prism. A third party Appview for ATproto

iftta. AT Protocol automation service written in Rust

LeanDoomed. Simple Raycasting Example in Lean4 using SDL3

lean-sdl3. Lean

leaflet. A tool for shared writing and social publishing

math2001. Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

cslib. The Lean Computer Science Library (CSLib)

pattern. agent builder

lean-pitfalls. Documenting common pitfalls and footguns in Lean

Minimathlib. Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.

LonghornBluesky. Third-party Bluesky client designed with a Windows Longhorn-like aesthetic.

lean4. Lean 4 programming language and theorem prover

combinatorial-games. Combinatorial game library in Lean 4

lean-lsp-mcp. Lean Theorem Prover MCP

analysis. A Lean companion to Analysis I

async-provider. TypeScript

batch-loader. TypeScript

bff. Experimental ATProto BFF Framework

jetrelay. Rust

demesne. plc key management app

gork. gorkin it

rsc-examples. Parcel React Server Components Examples

IUM. Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course

statusphere-react. a fork of the atproto "statusphere" demo that uses vite/react

lean4-analysis-tao. Formalization of "Analysis I" by Terence Tao

mpl. A Henkin-style completeness proof for the modal logic S5

FLT. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

formalising-mathematics-2024. Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

NNG4. Natural Number Game

discussions-and-proposals. Discussions and proposals related to the main React Native project

atproto-oauth-client-react-native. @aquareum/atproto-oauth-client-react-native

bluniversal-comments. Start a conversation next to any web page using your Bluesky account

react-bluesky. Embed Bluesky (bsky) posts in your React application.

bsky-widget. Unofficial Bluesky widget to render cute profile cards in your websites ^_^

bsky-examples. Sample programs for playing with the Bluesky API.

jetstream. A simplified JSON event stream for AT Proto

statusphere-example-app. An example atproto application using ExpressJS and Typescript.

feed-generator. ATProto Feed Generator Starter Kit

everyone-ssn-usa. releasing everyone's SSN and the hacks used to acquire them

frontpage. Federated link aggregator

demo-atp. Go

bluesky-autobase-bot. Bluesky menfess/autobase bot

market. A Bluesky full index

surreal. 🗿 Mini jQuery alternative. Dependency-free animations. Locality of Behavior. Use one element or arrays transparently. Pairs with htmx. Vanilla querySelector() but better!

react-compiler. Working group for using React Compiler in production

bootleg-react-compiler. Now that react compiler has been released, let's write an unofficial alternative version in 20 minutes.

mfng-ai-demo. MFNG AI SDK Generative UI Demo

ozone. web interface for labeling content in atproto / Bluesky

react-native-new-architecture. Workgroup for the New React Native Architecture

react-strict-dom. React Strict DOM (RSD) standardizes the development of styled React components for web and native.

rsc-html-stream. Inject an RSC payload into an HTML stream and read it back

social-app. The Bluesky Social application for Web, iOS, and Android

ouranos. Your friendly Bluesky client for the web

LeanCopilot. LLMs as Copilots for Theorem Proving in Lean

stylex. StyleX is the styling system for ambitious user interfaces.

authkit. The world's best login box powered by WorkOS and Radix.

tangle. A very messy React Server Components implementation.

paperproof. Lean theorem proving interface which feels like pen-and-paper proofs.

bsky-simple-viewer. TypeScript

panda. 🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️

LeanDojo. Tool for data extraction and interacting with Lean programmatically.

gh-next. A minimal Github clone built on nextjs app router.

chatgpt-md-translator. ChatGPT Markdown Translator: CLI to translate Markdown docs using ChatGPT API

how-is-this-not-illegal. A demo of using RSC and Vercel Postgres, legally

next-nginx-routes. JavaScript

waku. ⛩️ The minimal React framework

mfng. A Minimal React Server Components Bundler & Library

react-tweet. Embed tweets in your React application.

mafs. React components for interactive math

riffusion-app-hobby. Stable diffusion for real-time music generation (web app)

GulfOfMexico. perfect programming language

taxonomy. An open source application built using the new router, server components and everything new in Next.js 13.

next-remote-refresh. Enable Fast Refresh for remote data in Next.js

stable-diffusion. A latent text-to-image diffusion model

mathlib4. The math library of Lean 4

tutorials. Some Lean tutorials

react. The library for web and native user interfaces.

jest-preview. Debug your Jest tests. Effortlessly.🛠🖼

lexical. Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.

types-react-codemod. Collection of transforms for jscodeshift related to `@types/react`

server-components.

tamagui. Style React fast with 100% parity on React Native, an optional UI kit, and optimizing compiler.

formalising-mathematics. Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

lean. Lean 3 Theorem Prover (community fork)

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

blender-to-the-web. JavaScript

M40001_lean. Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

platform-app. Open Targets Platform web app

tao-te-ching. Some English interpretations of Lao Tzu's Tao Te Ching.

pkg-vuln-working-group. Project for work on improved Package Vulnerability Management & Reporting

just. the only javascript runtime to hit no.1 on techempower :fire:

react-18. Workgroup for React 18 release.

natural_number_game. Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

perfect-freehand. Draw perfect pressure-sensitive freehand lines.

polylabel. A fast algorithm for finding the pole of inaccessibility of a polygon (in JavaScript and C++)

mathlib3. Lean 3's obsolete mathematical components library: please use mathlib4

server-components-demo. Demo app of React Server Components.

comic-mono-font. A legible monospace font... the very typeface you’ve been trained to recognize since childhood

server-components-demo. Demo app of React Server Components.

css-in-readme-like-wat. Style your readme using CSS with this simple trick

react-app-rewired. Override create-react-app webpack configs without ejecting

use-tweaks. 🎛️ Tweak React components with Tweakpane

remark-codesandbox. 🎩 Create CodeSandbox directly from code blocks

r3f-game-demo. A demo on how to do a simple tile-based game with React and react-three-fiber

perfect-arrows. Draw perfect arrows between points and shapes.

minecraft-react. A simple blocky game implementation using React and ThreeJS

BespokeSynth. Software modular synth

react-gradual-upgrade-demo. Demonstration of how to gradually upgrade an app to a new version of React

eslint-plugin-replyguy. The ESLint plugin you definitely didn’t ask for.

coderoad-vscode. 👩‍💻 Create or play Interactive coding tutorials in VSCode

podcast-player. A podcasts app to demonstrate React concepts.

react-refresh-webpack-plugin. A Webpack plugin to enable "Fast Refresh" (also previously known as Hot Reloading) for React components.

gpt-scrolls. A collaborative collection of open-source safe GPT-3 prompts that work well

reactanoid. JavaScript

manim. Animation engine for explanatory math videos

react-flip-toolkit. A lightweight magic-move library for configurable layout transitions

whatthefuck.is. An opinionated glossary of computer science terms for front-end developers. Written by Dan Abramov.

yalc. Work with yarn/npm packages locally like a boss.

excalidraw-claymate. A tool based on Excalidraw to create stop motion animations and slides.

react-native-macos. A framework for building native macOS apps with React.

jukebox. Code for the paper "Jukebox: A Generative Model for Music"

react-metaphors-slides. Slides from my talk "Drawing the Invisible: React Explained in Five Visual Metaphors" at Women of React Conf 2020

scheduling-apis. APIs for scheduling and controlling prioritized tasks.

covidtesting. The COVID-19 Testing Gap: an interactive data visualization

testcheck-js. Generative testing for JavaScript

list. List of Homeferences

overnight. A soft vibrant VSCode theme - Based on Sarah Drasner's Night Owl and Dan Abramov's Overreacted blog

react-native-website. The React Native website and docs

excalidraw. Virtual whiteboard for sketching hand-drawn like diagrams

one-click.js. One Click, Offline, CommonJS Modules in the browser

super-rentals-tutorial. TypeScript

react-dom-mini. Toy React renderer from my React Conf 2019 talk, "Building a Custom React Renderer"

react-adaptive-hooks. Deliver experiences best suited to a user's device and network constraints

tailwindcss. A utility-first CSS framework for rapid UI development.

velcro. A set of tools and libraries for stitching together modules and code in highly dynamic browser environments

chakra-ui. Chakra UI is a component system for building SaaS products with speed ⚡️

mobile-first-animation. Gesture-driven animation on the mobile web (React Conf 2019)

react-nodegui. Build performant, native and cross-platform desktop applications with native React + powerful CSS like styling.🚀

github-do-not-ban-us. GitHub do not ban us from open source world :iran:

talon_configs. Modules to be used with Talon for hands-free input

hermes. A JavaScript engine optimized for running React Native.

react-firebase-hooks. React Hooks for Firebase.

diem. Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

rehp. ReHp

react-teleporter. Teleport React components in the same React tree 📡

devhub. TweetDeck for GitHub - Filter Issues, Activities & Notifications - Web, Mobile & Desktop with 99% code sharing between them

react-vertex. :black_medium_small_square: React Vertex | Hooks-based WebGL library for React

build-tracker. A set of tools to track the size of your build artifacts over time.

empathy-driven-development. Demo Gatsby app for a #noSlides talk on debugging and building accessible React apps

pastel. 🎨 Next.js-like framework for CLIs made with Ink

glicky. 🐭 An In-browser User Interface For JavaScript Development Workflows

React95. 🌈🕹 Windows 95 style UI component library for React

playroom. Design with JSX, powered by your own component library.

react-loops. React Loops works with React Hooks as part of the React Velcro Architecture

is-thirteen. Check if a number is equal to 13.

awesome-personal-blogs. A delightful list of personal tech blogs

hook-flow. A flowchart that explains the new lifecycle of a Hooks component. https://dwe.st/hf

react-three-fiber. 🇨🇭 A React renderer for Three.js

zero. Zero is a web server to simplify web development.

react-conf-2018. JavaScript

swc. Rust-based platform for the Web

hooks. React Native APIs turned into React Hooks for use in functional React components

dictionary. Словари по фронтенду

ru.react.dev. React documentation website in Russian / Официальная русская версия сайта React

translations.react.dev. Nexus of resources and tools for translating the React docs.

my-cycling-routes. Cycling routes app built with React (hooks), styled-components, Leaflet and d3.

react-fiber-implement. re-implement react fiber

is-input-pending. HTML

react-switch. A draggable toggle-switch component for React. Check out the demo at:

typescript-eslint. :sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

gamedesign-playlist. Collection of articles, books, videos and other things I found useful for those interested in the topic.

little-virtual-computer. Learn how computers work by simulating them in Javascript

awesome-female-workshop-leads. Awesome female workshop leads in the programming community

flutter_hooks. React hooks for Flutter. Hooks are a new kind of object that manages a Widget life-cycles. They are used to increase code sharing between widgets and as a complete replacement for StatefulWidget.

jest-react-profiler. Jest helpers for working with the React Profiler API.

overreacted.io. Personal blog by Dan Abramov.