# Leaderboard

```{raw} html
<!-- Redirect to the standalone leaderboard that is deployed alongside this
     documentation.  The leaderboard/ directory is copied verbatim to the
     HTML output via html_extra_path in conf.py. -->
<script>
  window.location.replace("../leaderboard/leaderboard.html");
</script>
<noscript>
  <p>JavaScript is disabled. Open the leaderboard directly:
    <a href="../leaderboard/leaderboard.html">leaderboard/leaderboard.html</a>
  </p>
</noscript>
```