AI ToolsWrite
Open data · daily snapshots

Compare GitHub Star history

Up to five repositories on one chart. Each line is one point a day, the last GitHub snapshot of that day, for every project Hysen Labs tracks.

owner/name, a GitHub URL or the project's Hysen Labs slug, separated by commas.

Star history

  • google-deepmind/formal-conjectures1,352 ★ · +21
Star history
Repository2026-10-202026-11-06
google-deepmind/formal-conjectures1.3k1.4k

The numbers

RepositoryStarsLast 7 daysLast 30 days
google-deepmind/formal-conjectures1,352+12—

Put this chart in a README

The image updates once a day. Add ?theme=dark to the image URL for a dark background.

markdown
[![Star history](https://hysenlabs.com/chart/google-deepmind-formal-conjectures.svg)](https://hysenlabs.com/compare-stars?repos=google-deepmind-formal-conjectures)