Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 236 55

  2. jverify jverify Public

    Program verification for Java

    Java 12 3

  3. specimen specimen Public

    Lean 10 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

    Lean 1 3

Repositories

Showing 9 of 9 repositories
  • Strata-Boole Public
    strata-org/Strata-Boole's past year of commit activity
    Lean 2 Apache-2.0 5 0 2 Updated Sep 9, 2026
  • Strata Public
    strata-org/Strata's past year of commit activity
    Lean 236 Apache-2.0 55 140 37 Updated Sep 9, 2026
  • Strata-CLI Public
    strata-org/Strata-CLI's past year of commit activity
    Lean 0 Apache-2.0 1 0 5 Updated Sep 9, 2026
  • Strata-Python Public
    strata-org/Strata-Python's past year of commit activity
    Lean 1 Apache-2.0 3 0 6 Updated Sep 8, 2026
  • jverify Public

    Program verification for Java

    strata-org/jverify's past year of commit activity
    Java 12 Apache-2.0 3 108 14 Updated Sep 2, 2026
  • Strata-DDM Public
    strata-org/Strata-DDM's past year of commit activity
    Lean 0 Apache-2.0 2 1 4 Updated Sep 1, 2026
  • specimen Public
    strata-org/specimen's past year of commit activity
    Lean 10 Apache-2.0 4 12 6 Updated Jul 31, 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 553 0 0 Updated Oct 18, 2024

Top languages

Lean Java C#

Most used topics

Loading…