Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 249 57

  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 3 6

  5. Strata-Python Strata-Python Public

    Python 2 3

  6. .github .github Public

    Forked from amzn/.github

    1

Repositories

Showing 10 of 10 repositories
  • Strata Public
    strata-org/Strata's past year of commit activity
    Lean 249 Apache-2.0 57 144 42 Updated Oct 3, 2026
  • Strata-CLI Public
    strata-org/Strata-CLI's past year of commit activity
    Lean 0 Apache-2.0 1 0 5 Updated Oct 2, 2026
  • Strata-Python Public
    strata-org/Strata-Python's past year of commit activity
    Python 2 Apache-2.0 3 0 6 Updated Oct 2, 2026
  • Strata-Boole Public
    strata-org/Strata-Boole's past year of commit activity
    Lean 3 Apache-2.0 6 2 2 Updated Oct 1, 2026
  • Strata-Generators Public
    strata-org/Strata-Generators's past year of commit activity
    Lean 0 Apache-2.0 0 1 5 Updated Sep 30, 2026
  • Strata-DDM Public
    strata-org/Strata-DDM's past year of commit activity
    Lean 0 Apache-2.0 2 1 4 Updated Sep 26, 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-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 557 0 0 Updated Oct 18, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…