gaearon

stable-diffusion

A latent text-to-image diffusion model

taxonomy

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

DreamBerd

perfect programming language

stylex

StyleX is the styling system for ambitious user interfaces.

social-app

The Bluesky Social application for Web, iOS, and Android

panda

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

waku

⛩️ The minimal React framework

mafs

React components for interactive math

react-strict-dom

React Strict DOM (RSD) is a subset of React DOM, imperative DOM, and CSS that supports web and native targets

riffusion-app

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

authkit

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

react-native-new-architecture

Workgroup for the New React Native Architecture

react-tweet

Embed tweets in your React application.

mathlib4

The math library of Lean 4

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

how-is-this-not-illegal

A demo of using RSC and Vercel Postgres, legally

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

gh-next

A minimal Github clone built on nextjs app router.

mfng

A Minimal React Server Components Bundler & Library

paperproof

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

chatgpt-md-translator

ChatGPT Markdown Translator: CLI to translate Markdown docs using ChatGPT API

ozone

web interface for labeling content in atproto / Bluesky

tutorials

Some Lean tutorials

next-remote-refresh

Enable Fast Refresh for remote data in Next.js

next-nginx-routes

tangle

A very messy React Server Components implementation.

rsc-html-stream

Inject an RSC payload into an HTML stream and read it back

ouranos

Your friendly Bluesky client for the web

mfng-ai-demo

MFNG AI SDK Generative UI Demo

bsky-simple-viewer