Dan Abramov

Core Contributor to React; Coauthor of Redux, Create React App

Starred Projects (9)

feed-generator by bluesky-social

Starter kit for ATProto feed generators

wongmjane:

anildash:

Created 2 years ago

Updated 7 months ago

LeanCopilot by lean-dojo

Copilot for theorem proving in Lean

thomwolf:

hammer:

Created 2 years ago

Updated 3 days ago

LeanDojo by lean-dojo

Machine learning for theorem proving in Lean

Edward-Sun:

Created 2 years ago

Updated 5 days ago

chatgpt-md-translator by smikitky

CLI tool for translating Markdown documents using the ChatGPT API

Created 2 years ago

Updated 6 months ago

riffusion-app-hobby by riffusion

Web app for real-time music generation using stable diffusion

codekansas:

yoland68:

swyxio:

chenlin9:

Created 2 years ago

Updated 1 year ago

stable-diffusion by CompVis

Latent text-to-image diffusion model

patrickvonplaten:

codekansas:

ValentaTomas:

ankane:

Created 3 years ago

Updated 1 year ago

gpt-scrolls by maraoz

Open-source collection of GPT-3 prompts

ajayjain:

Created 5 years ago

Updated 3 years ago

jukebox by openai

Generative model for music research paper

aravindsrinivas:

lewtun:

schickling:

parasj:

Created 5 years ago

Updated 1 year ago

retro-board by antoinejaussoin

AI-powered agile retrospective board for engineering teams

jaredpalmer:

Created 9 years ago

Updated 10 months ago

Feedback? Help us improve.