Skip to content
@specula-org

specula-org

Pinned Loading

  1. Specula Specula Public

    Specula: A framework for finding deep bugs in system code using TLA+

    TLA 189 24

  2. SysMoBench SysMoBench Public

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

    Python 21 3

  3. specula-case-studies specula-case-studies Public

    specula-case-studies

    TLA 7

  4. tlaps-bench tlaps-bench Public

    TLA 7

Repositories

Showing 10 of 41 repositories

Top languages

Loading…

Most used topics

Loading…