MakerRelay
+ Submit
← GitHub Trending

GitHub topic

recursive-self-improvement GitHub repositories

Explore 3 tracked GitHub repositories tagged recursive-self-improvement. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.

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

Tracked repositories
3
Total stars
9,323
Stars gained · 7 days
+364
Stars gained · 30 days
+1,791

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 recursive-self-improvement repositories on this page
RepositoryTotal starsToday7 days30 days
EverMind-AI/Raven5.9K+19+343+1,707
sahibzada-allahyar/Formal-Verification-RSI2.9K+1+5+5
selfimproving-agent/Awesome-Self-Improving-Agents594+1+16+79

Explore repositories

Showing 1–3 of 3 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.