Popular repositories Loading

1. system-intelligence-benchmark system-intelligence-benchmark Public

   System Intelligence Benchmark

   TLA 46 9

2. sys-intelligence.github.io sys-intelligence.github.io Public

   HTML

3. SysMoBench SysMoBench Public

   Forked from specula-org/SysMoBench

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

   TLA

4. SREGym SREGym Public

   Forked from SREGym/SREGym

   An AI-Native Platform for Benchmarking SRE Agents

   Python

5. verus-proof-synthesis verus-proof-synthesis Public

   Forked from microsoft/verus-proof-synthesis

   Rust

6. course-translator course-translator Public

   Forked from qimcis/sys-intelligence-agent

   TypeScript