Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 241 55

  2. jverify jverify Public

    Program verification for Java

    Java 13 3

  3. specimen specimen Public

    Lean 11 4

  4. Strata-Boole Strata-Boole Public

    Lean 2 5

  5. .github .github Public

    Forked from amzn/.github

    1

  6. Strata-Python Strata-Python Public

    Python 1 3

Repositories

Showing 10 of 10 repositories
  • Strata Public
    strata-org/Strata's past year of commit activity
    Lean 241 Apache-2.0 55 142 39 Updated Sep 23, 2026
  • Strata-CLI Public
    strata-org/Strata-CLI's past year of commit activity
    Lean 0 Apache-2.0 1 0 5 Updated Sep 22, 2026
  • Strata-Python Public
    strata-org/Strata-Python's past year of commit activity
    Python 1 Apache-2.0 3 0 6 Updated Sep 22, 2026
  • Strata-Boole Public
    strata-org/Strata-Boole's past year of commit activity
    Lean 2 Apache-2.0 5 0 2 Updated Sep 22, 2026
  • Strata-DDM Public
    strata-org/Strata-DDM's past year of commit activity
    Lean 0 Apache-2.0 2 1 4 Updated Sep 21, 2026
  • jverify Public

    Program verification for Java

    strata-org/jverify's past year of commit activity
    Java 13 Apache-2.0 3 108 16 Updated Sep 21, 2026
  • specimen Public
    strata-org/specimen's past year of commit activity
    Lean 11 Apache-2.0 4 13 6 Updated Sep 21, 2026
  • Strata-Generators Public
    strata-org/Strata-Generators's past year of commit activity
    Lean 0 Apache-2.0 0 1 3 Updated Sep 19, 2026
  • Strata-Boogie Public
    strata-org/Strata-Boogie's past year of commit activity
    C# 0 Apache-2.0 1 0 1 Updated Jun 5, 2026
  • .github Public Forked from amzn/.github
    strata-org/.github's past year of commit activity
    1 556 0 0 Updated Oct 18, 2024

Most used topics

Loading…