GitHub repo leaderboard by stars, growth rate and activity.

• yvgude

  #1yvgude/lean-ctx

  LeanCTX — Context Intelligence for AI systems.

  Rust3,749 starslast pushed Yesterday

#	Repo	Language	Stars	30-day trend	Last updated
1	yvgude yvgude/lean-ctx LeanCTX — Context Intelligence for AI systems.	Rust	3,749		last pushed Yesterday

All · 11,474