Popular repositories Loading

1. Specula Specula Public

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

   Python 58 11

2. SysMoBench SysMoBench Public

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

   TLA 6 1