MakerRelay
+ Submit
← GitHub Trending

GitHub topic

rsi GitHub repositories

Explore 5 tracked GitHub repositories tagged rsi. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.

Snapshot: 2026-10-28. The collection gained 39 stars since the previous daily snapshot.

Tracked repositories
5
Total stars
14,042
Stars gained · 7 days
+459
Stars gained · 30 days
+2,579

Compare star activity

Up to five projects on this page, ordered by total stars. Open a project for its description and recorded star history.

Swipe to compare all star periods →

Star activity for rsi repositories on this page
RepositoryTotal starsToday7 days30 days
EverMind-AI/Raven5.9K+19+343+1,707
Prism-Shadow/penguin-harness3.0K+19+110+587
sahibzada-allahyar/Formal-Verification-RSI2.9K+1+5+5
ZHangZHengEric/Sage1.2K+0+1+3
momozi1996/momo-code1.1K+0+0+277

Explore repositories

Showing 1–5 of 5 tracked repositories.

sahibzada-allahyar/Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.