gaearon

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) is a subset of React DOM, imperative DOM, and CSS that supports web and native targets

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

panda

🐼 Universal, Type-Safe, CSS-in-JS Framework for Product Teams ⚡️

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

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

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

DreamBerd

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