AeneasVerif/charon

Momentum

AeneasVerif/charon has 481 GitHub stars. It gained +8 stars in the last 7 days and +20 over 14 recorded days in the last 30 days (snapshots through Nov 10, 2026).

Its biggest recent day was Oct 18, 2026, with +4 stars.

It currently ranks #3992 daily, #4158 weekly, #4459 monthly by momentum on Trending Repos; its best-ever rank is #522.

Trending Repos first recorded it on May 28, 2026.