dan's starred repositories
stable-diffusion
A latent text-to-image diffusion model
social-app
The Bluesky Social application for Web, iOS, and Android
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)
react-tweet
Embed tweets in your React application.
react-native-new-architecture
Workgroup for the New React Native Architecture
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
how-is-this-not-illegal
A demo of using RSC and Vercel Postgres, legally
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
next-remote-refresh
Enable Fast Refresh for remote data in Next.js
rsc-html-stream
Inject an RSC payload into an HTML stream and read it back
mfng-ai-demo
MFNG AI SDK Generative UI Demo