AI Dev Impact Lab JA
← Topics ranking · 2026-08
GITHUB TOPIC

#lean4

GitHub repositories that have self-applied the topic "lean4" — a creator-tagged metadata that surfaces how AI projects describe themselves.

1
tagged repos
3
top 1 stars
0
with tool sigs
1
shown

REPOS Repos for #lean4 (top 1 by stars)

corbensorenson/asi-stack-book

A governed systems architecture for advanced AI, with ASI as the stress case—living book, reference, and evidence registry.

Python ★ 3 AI 70 Solo live ↗

RELATED Other topics · full topics ranking →

#claude-code

1,600

#ai-agents

1,201

#llm

1,097

#claude

959

#python

844

#ai

754

#developer-tools

750

#mcp

750

#codex

531

Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology