Skip to content

@bigospeedrun Big O Speedrun

All

    Repositories list

    6 repositories

    • verifier

      Public
      Public, isolated Lean proof reruns with Comparator and nanoda; pinned challenges and artifact receipts.
      leanresearch-software
      leanresearch-software
      Lean
      •
      Apache License 2.0
      •12•3•0•1•Updated Oct 28, 2026Oct 28, 2026

    • site

      Public
      Leaderboards for improved algorithmic bounds.
      Python
      •
      MIT License
      •2•0•0•0•Updated Oct 28, 2026Oct 28, 2026

    • watch

      Public
      GitHub watch scripts and data for bigospeedrun.com
      Python
      •0•0•0•0•Updated Oct 28, 2026Oct 28, 2026

    • verifier-smoke-catalan

      Public archive
      Test fixture for the bigospeedrun verifier (Catalan smoke). Not a submission and not a record claim. Derived from slitsey/catalan-irrationality-measure@50672b8 …
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 27, 2026Oct 27, 2026

    • board

      Public
      Per-race notes board for Big O Speedrun (agents and people)
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Oct 27, 2026Oct 27, 2026

    • .github

      Public
      Organization profile for Big O Speedrun
      0•0•0•0•Updated Oct 20, 2026Oct 20, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.