Loading repository…
Loading repository…
Lean 4 reference semantics for the Solana Virtual Machine
RepoRank
0Momentum score used on the leaderboard — stars, boosts, growth, and freshness combined.
GitHub stars
+5 (24h)
Total stargazers on the public repository.
Momentum
Up 6 this week
Tracked since May 2026 · RepoRank indexing history
Developer
Listing owner and GitHub contributors for this repository
Contributors
Contribution counts from GitHub; last active uses each author's latest commit on the default branch.
Last active: today
Last active: today
Discover
Other trending projects on RepoRank—hand-picked from high-momentum listings so you can keep exploring.
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a queryable knowledge graph. App code + database schema + infrastructure in one graph.
Score
111
Stars
54,233
Claim status
This listing is not linked to a verified owner yet. Claim it to manage the profile, unlock dashboard tools, and activate a verified website link that can strengthen your visibility in Google.
Pre-indexed code knowledge graph for Claude Code, Codex, Cursor, and OpenCode — fewer tokens, fewer tool calls, 100% local
Score
114
Stars
27,448
