Awesome

GitHub projects from awesome lists

Search awesome repositories

Search names, descriptions, topics, tags, and stacks, then tune results by ecosystem, freshness, health, and cross-list signal.

Continue with GitHub Browse awesome lists Compare two repositories Request a list

Repos indexed: 27,872
Awesome lists tracked: 172
Current results: 2

Find repositories

Start broad, then narrow by ecosystem, freshness, health, and growth.

Unsure which signals matter? Read the repository shortlisting guide.

Clear 1 refinement

Search repositories

Search mode

Keyword Semantic

Tune results

The controls most people need first.

Awesome list

Language

Freshness

Sort

Direction

More filters Topics, tags, stack, license, files, age, archive status, and growth.

Ecosystem

GitHub topic

Generated tag

Framework or stack

Package manager

License label

Exact stored GitHub label, not a license audit. Verify terms upstream. NOASSERTION is unclassified, not permission to reuse.

Files

Has file

Choose a suggestion or use commas to require multiple files.

Health

Minimum stars

Repository age

Uses known first-commit dates.

Archive status

AI development signals

Momentum

Unmaintained for

Commit velocity

Star growth

A smaller starting count can mean a larger percentage. Compare star-growth baselines before setting a threshold.

Reset filters

2 repos shown

Topic: recursive-self-improvement

Browse

Highlighted

Open highlighted repo slot

Put your repository first

Promote a GitHub repo at the top of Awesome repository list views for 7 days.

EverMind-AI/Raven

The Harness of Harnesses • built for RSI: a trusted, persistent, self-evolving multi-agent ecosystem for all-domain collaboration.

AI dev

Stack

Python pytest React Vite npm PEP 517 pip

GitHub topics

#ai #ai-agents #anthropic #chatgpt #claude #codex

Updated: 2026-10-19
Lists: 4 list mentions
First commit: 2026-06-28
History: 4 history points
License: Apache-2.0
Issues: 82 open

5,507

stars

Forks: 174
Commits: 1,861 commits
Star growth, last 7 days: No 7-day history
Commit velocity, last 7 days: No 7-day history

Website GitHub

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.

AI dev

Stack

Python pytest npm PEP 517

GitHub topics

#ai-agents #ai-for-math #ai-for-science #ai-safety #autoformalization #automated-theorem-proving

Updated: 2026-10-22
Lists: 1 list mention
First commit: 2026-10-22
History: 1 history point
License: MIT
Issues: 149 open

2,858