Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 175 43

  2. jverify jverify Public

    Program verification for Java

    Java 5 1

  3. .github .github Public

    Forked from amzn/.github

    1

Repositories

Showing 3 of 3 repositories
  • Strata Public
    strata-org/Strata’s past year of commit activity
    Lean 175 Apache-2.0 43 96 90 Updated May 15, 2026
  • jverify Public

    Program verification for Java

    strata-org/jverify’s past year of commit activity
    Java 5 Apache-2.0 1 104 6 Updated May 13, 2026
  • .github Public Forked from amzn/.github
    strata-org/.github’s past year of commit activity
    1 510 0 0 Updated Oct 18, 2024

Top languages

Loading…

Most used topics

Loading…