Pinned Loading

1. synth-laboratories/craftaxlm synth-laboratories/craftaxlm Public

   A wrapper around the Craftax agent benchmark, for evaluating digital agents over extremely long time horizons

   Python 6

2. synth-laboratories/synth-ai synth-laboratories/synth-ai Public

   Prompt Optimization

   Python 73 9

3. engine-bench-tcg engine-bench-tcg Public

   having coding agents code game engines

   Rust 4

4. lithe lithe Public

   simple web service in lean4

   Lean 10

5. Tanha Tanha Public

   Tooling for specs

   3

6. synth-laboratories/Horizons synth-laboratories/Horizons Public

   Open Source Agent Execution

   Rust 66 4