LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Other

clean

Lean circuit DSL

OtherEmerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
7d ago

Recent commits

Latest commits.

  • Merge pull request #385 from Verified-zkEVM/bench-heartbeats-prototype
    6bc9fb2Gregor Mitscha-Baude20d ago
  • Update benchmark ack time estimate
    3e84d0fGregor20d ago
  • Default benchmark reports to heartbeats
    5fa6770Gregor21d ago
  • Run heartbeat frontend synchronously
    4079b0eGregor21d ago
  • Measure command heartbeats during build benchmark
    c3f6637Gregor21d ago
Support heartbeat module report tables
aaf8478Gregor21d ago
  • gh api failure handling
    2cdcaa0Gregor21d ago
  • Merge branch 'main' into bench-heartbeats-prototype
    d553477Gregor21d ago

    • Top contributors

    Builders behind this project.

    mitschabaude
    1.8K commits
    pirapira
    1.4K commits
    gio54321
    470 commits
    marcobesier
    72 commits
    katat
    41 commits
    Koukyosyumei
    20 commits
    semaraugusto
    12 commits
    matteobusi
    12 commits