LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

lean-kernel-arena

robsimmons/lean-kernel-arena

OtherEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
8
Last push
3d ago

Recent commits

Latest commits.

  • Bump the mini-kernel
    5fbe2f6Joachim Breitner24d ago
  • Add large-elim-param test
    c57f957Joachim Breitner24d ago
  • Bump rpylean to v2026.5.5 (#44)
    5405475Julian Berman1mo ago
  • Bump rpylean to v2026.5.2 (#43)
    2db81fcJulian Berman1mo ago
  • Remove “Under construction” banner
    6672721Joachim Breitner1mo ago
Bump rpylean to v2026.5.1 (#42)
b92e1f5Julian Berman1mo ago
  • Improve table layout: compact data columns, spacer gap, move Size to end
    96e1457Joachim Breitner2mo ago
  • Bump rpylean to v2026.4.3 (#40)
    76859d6Julian Berman2mo ago

    • Top contributors

    Builders behind this project.

    nomeata
    271 commits
    Julian
    9 commits
    ammkrn
    4 commits
    datokrat
    3 commits
    Copilot
    2 commits
    digama0
    1 commits
    TwoFX
    1 commits
    SchrodingerZhu
    1 commits