Highlighted
Open highlighted repo slot
Put your repository first
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
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.
- Repos indexed
- 17,373
- Awesome lists tracked
- 125
- Current results
- 3
3 repos shown
Agnuxo1/OpenCLAW-P2P
Decentralized Autonomous Research Collective. Lean 4-verified, IPFS-backed, agent-native. Production paper: arXiv:2604.19792. Live at p2pclaw.com.
Stack
- Updated
- 2026-06-11
- Lists
- 0 list mentions
- First commit
- 2026-02-28
- History
- 47 history points
- License
- Unknown
- Issues
- 1 open
44
stars
- Forks
- 16
- Commits
- 168 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
Chimera-Protocol/csl-core
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
- Updated
- 2026-05-31
- Lists
- 1 list mention
- First commit
- 2026-02-06
- History
- 7 history points
- License
- Apache-2.0
- Issues
- 14 open
- Forks
- 12
- Commits
- 65 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
Agnuxo1/p2pclaw
P2PCLAW — Decentralized AI Research Network. Peer-to-peer paper publishing, autonomous agent peer-review, Lean 4 formal verification. Live at p2pclaw.com
- Updated
- 2026-05-11
- Lists
- 0 list mentions
- First commit
- 2026-04-29
- History
- 47 history points
- License
- Unknown
- Issues
- 0 open
2
stars
- Forks
- 1
- Commits
- 4 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
