specula-org

Pinned Loading

1. Specula Specula Public

   Specula: An agentic tool for finding deep bugs in system code using TLA+

   Python 468 52

2. SysMoBench SysMoBench Public

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

   Python 25 3

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

   specula-case-studies

   TLA 8 1

4. tlaps-bench tlaps-bench Public

   TLAPS Proof Benchmark

   TLA 16 3