stargazers
dangithub.com/gaearonupdated 8 days ago

1,493 repositories starred since May 2011. Mostly web and app development, and lately learning resources and other things.

Charting stars1,493 / 1,493

Over time

Each line is a starred repository at the date it was starred. Height is its GitHub stars. Drag across the graph or pick a year to filter the list below.

May 2011: first stars, QuincyKit, laconic2012–2013: 12 stars in 2 years2015: 503 stars, 244 in Web & apps2011201620212026
20112026
  • May 2011: first stars, QuincyKit, laconic
  • 2012–2013: 12 stars in 2 years
  • 2015: 503 stars, 244 in Web & apps

Drift

Share of each kind of repository among the stars added each year.

Learning & other 29%Libraries & tools 21%Infra & backend 6%Web & apps 7%AI & LLMs 31%2011201620212026
20112026
  • Learning & other 29%
  • Libraries & tools 21%
  • Infra & backend 6%
  • Web & apps 7%
  • AI & LLMs 31%

Terrain

Categories are regions. Where stars cluster, the ground rises. The most-starred repositories are marked like towns. Select a region to filter.

WEB FRONTENDLIBRARIES & UTILITIESUNCATEGORISEDDEVELOPER TOOLSLEARNING & LISTSMOBILE & DESKTOPBACKEND & APISLANGUAGES & SYSTEMSTESTINGAI & LLMSTERMINAL & CLIMACHINE LEARNING & DATADEVOPS & CLOUDGAMES & GRAPHICSDATABASESSECURITYexcalidrawnodepicreate-react-appjson-serverdocusauruswebpackgatsbymetabaseABCDEFGH12345

Findings

  1. 2015 was the busiest year: 503 stars, 244 of them in Web & apps.

  2. They find things early: 61% of their stars have fewer than 1,000 stars on GitHub.

  3. 328 of their stars are archived or deprecated, and 93 name a successor. Another 804 have had no commits in two years.

  4. The longest pause was 12 months, from Jan 2012 to Feb 2013.

  5. JavaScript accounts for 66% of their stars, TypeScript for 14%.

Every star

  1. hanwenzhu/LeanArchitect

    LeanArchitect extracts a blueprint directly from Lean source.

    LeanUncategorisedv4.36.0-rc22026-08-29
    94
  2. cameronfreer/lean4-skills

    Lean 4 theorem proving skill and workflow pack for AI coding agents

    PythonAI & LLMsv4.11.42026-08-17
    481
  3. dollspace-gay/chainlink

    A CLI issue tracker for AI Agents

    RustAI & LLMschainlink-1.6.02026-02-27
    366
  4. WinterTC55/iter-streams

    A proposal for a new streams API

    TypeScriptLibraries & utilities2026-02-27
    463
  5. gamesgamesgamesgamesgames/happyview

    A lexicon-driven AppView for ATProto.

    RustUncategorisedv2.17.02026-02-13
    102
  6. OpenMeet-Team/snowglobe

    Self-contained atproto networks for testing and demos, with their own PDS, PLC directory and Jetstream, and nothing in them reaches Bluesky's network.

    JavaScriptTestingv0.3.02026-02-13
    22
  7. treethought/obsidian-atmosphere

    Surf the atmosphere from the coziness of your vault

    TypeScriptUncategorised0.1.202026-02-05
    53
  8. jazware/bsky-experiments

    A mirror of my personal monorepo's AT Proto tools

    GoDeveloper tools2026-01-19
    321
  9. harbor-framework/terminal-bench-1

    A benchmark for LLMs on complicated tasks in the terminal

    PythonTerminal & CLI2026-01-13
    2.6K
  10. badlogic/pi-skills

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

    JavaScriptAI & LLMs2026-01-13
    2.7K
  11. earendil-works/pi

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

    TypeScriptAI & LLMsv1.5.22026-01-13
    121.7K
  12. gaearon/woodshed

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

    TypeScriptAI & LLMs2026-01-13
    71
  13. notactuallytreyanastasio/deciduous

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

    RustAI & LLMsv1.1.02026-01-12
    169
  14. ascorbic/cirrus

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

    TypeScriptDevOps & cloud@getcirrus/[email protected]2026-01-04
    466
  15. ljharb/lockfile-tools

    Tools to validate and secure your npm ecosystem lockfiles.

    JavaScriptLibraries & utilities2025-12-22
    47
  16. gaearon/rscexplorer

    A tool for people curious about the React Server Components protocol

    TypeScriptWeb frontend2025-12-18
    1.1K
  17. puzzmo-com/belay

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

    TypeScriptLanguages & systems2025-12-08
    32
  18. vercel-labs/fix-react2shell-next

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

    JavaScriptWeb frontendv1.1.42025-12-07
    402
  19. vercel/next-evals-oss

    Evals for Next.js up to 15.5.6 to test AI model competency at Next.js

    TypeScriptAI & LLMs2025-11-21
    328
  20. tmikov/imgui-react-runtime

    React + Dear ImGui + Static Hermes

    JavaScriptWeb frontend2025-11-13
    273
  21. verdverm/testnet

    Run independent ATProtocol networks

    CUEUncategorised2025-10-26
    58
  22. hi-ogawa/vite-rsc-browser-example
    TypeScriptWeb frontend2025-10-22
    18
  23. tylersayshi/prototypey

    atproto lexicon typescript toolkit

    TypeScriptUncategorised[email protected]2025-10-20
    42
  24. jacob-ebey/vite-plugin-react-use-cache

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

    TypeScriptWeb frontendv0.0.82025-10-17
    38
  25. jacob-ebey/protoflare

    Protoflare helps you build AT Protocol apps on Cloudflare faster.

    TypeScriptDevOps & cloudv0.0.122025-10-16
    54
  26. whyrusleeping/konbini
    GoUncategorised2025-10-04
    145
  27. dollspace-gay/Aurora-Prism

    A third party Appview for ATproto

    TypeScriptUncategorisedv1.5.12025-10-02
    83
  28. graze-social/iftta

    AT Protocol automation service written in Rust

    RustUncategorisedv1.0.0-rc.12025-09-22
    76
  29. oOo0oOo/LeanDoomed

    Simple Raycasting Example in Lean4 using SDL3

    LeanLanguages & systems2025-09-22
    21
  30. ValorZard/lean-sdl3
    LeanUncategorised2025-09-22
    17
  31. hyperlink-academy/leaflet

    A tool for shared writing and social publishing

    TypeScriptUncategorised2025-08-28
    527
  32. hrmacbeth/math2001

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

    HTMLLearning & lists2025-08-21
    388
  33. leanprover/cslib

    The Lean Computer Science Library (CSLib)

    LeanLanguages & systemsv4.35.02025-08-18
    799
  34. orual/pattern

    agent builder

    RustAI & LLMs2025-08-10
    81
  35. nielsvoss/lean-pitfalls

    Documenting common pitfalls and footguns in Lean

    Uncategorised2025-08-05
    37
  36. daniel-levin/Minimathlib

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

    LeanUncategorised2025-07-30
    7
  37. Doofus-Mc-Goofus/LonghornBluesky

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

    C#Mobile & desktop0.2.12025-07-29
    156
  38. leanprover/lean4

    Lean 4 programming language and theorem prover

    LeanLanguages & systemsv4.35.02025-07-16
    9.9K
  39. vihdzp/combinatorial-games

    Combinatorial game library in Lean 4

    LeanGames & graphics2025-07-11
    113
  40. oOo0oOo/lean-lsp-mcp

    Lean Theorem Prover MCP

    PythonAI & LLMsv0.33.02025-07-04
    548
  41. teorth/analysis

    A Lean companion to Analysis I

    LeanUncategorised2025-06-26
    2K
  42. ryanflorence/async-provider
    TypeScriptLibraries & utilities2025-06-06
    119
  43. ryanflorence/batch-loader
    TypeScriptLibraries & utilities2025-06-06
    171
  44. bigmoves/bff

    Experimental ATProto BFF Framework

    TypeScriptBackend & APIs2025-06-02
    35
  45. asayers/jetrelay
    RustUncategorised2025-05-16
    57
  46. mozzius/demesne

    plc key management app

    TypeScriptMobile & desktop2025-05-15
    30
  47. espeon/gork

    gorkin it

    RustUncategorised2025-05-12
    77
  48. parcel-bundler/rsc-examples

    Parcel React Server Components Examples

    Web frontend2025-03-29
    120
  49. ImperialCollegeLondon/IUM

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

    LeanLearning & lists2025-03-26
    20
  50. mozzius/statusphere-react

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

    TypeScriptWeb frontend2025-03-05
    40

Is this you, @gaearon?

This page is built from public GitHub data. Sign in with GitHub to claim it: pin repositories, write a headline, get a weekly digest of releases and archived repos, connect your coding agent, or hide the page entirely.

Claim with GitHub