Skip to content
@specula-org

specula-org

Popular repositories Loading

  1. Specula Specula Public

    Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

    Python 62 12

  2. SysMoBench SysMoBench Public

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

    TLA 7 1

Repositories

Showing 2 of 2 repositories
  • Specula Public

    Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

    specula-org/Specula’s past year of commit activity
    Python 62 Apache-2.0 12 2 0 Updated Dec 29, 2025
  • SysMoBench Public

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

    specula-org/SysMoBench’s past year of commit activity
    TLA 7 Apache-2.0 1 0 1 Updated Dec 5, 2025

Top languages

Python TLA

Most used topics

Loading…