Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 279 60

  2. jverify jverify Public

    Program verification for Java

    Java 14 3

  3. specimen specimen Public

    Lean 13 4

  4. Strata-Boole Strata-Boole Public

    Lean 3 6

  5. Strata-Solidity Strata-Solidity Public

    Lean 3

  6. Strata-Python Strata-Python Public

    Lean 2 3

Repositories

Showing 10 of 11 repositories
  • Strata-CLI Public
    strata-org/Strata-CLI's past year of commit activity
    Lean 0 Apache-2.0 1 0 5 Updated Oct 20, 2026
  • Strata-Python Public
    strata-org/Strata-Python's past year of commit activity
    Lean 2 Apache-2.0 3 0 6 Updated Oct 20, 2026
  • Strata Public
    strata-org/Strata's past year of commit activity
    Lean 279 Apache-2.0 60 146 42 Updated Oct 20, 2026
  • Strata-Boole Public
    strata-org/Strata-Boole's past year of commit activity
    Lean 3 Apache-2.0 6 1 0 Updated Oct 17, 2026
  • Strata-Generators Public
    strata-org/Strata-Generators's past year of commit activity
    Lean 0 Apache-2.0 0 2 3 Updated Oct 15, 2026
  • Strata-Solidity Public
    strata-org/Strata-Solidity's past year of commit activity
    Lean 3 0 0 1 Updated Oct 14, 2026
  • specimen Public
    strata-org/specimen's past year of commit activity
    Lean 13 Apache-2.0 4 13 15 Updated Oct 14, 2026
  • Strata-DDM Public
    strata-org/Strata-DDM's past year of commit activity
    Lean 0 Apache-2.0 1 1 4 Updated Oct 9, 2026
  • jverify Public

    Program verification for Java

    strata-org/jverify's past year of commit activity
    Java 14 Apache-2.0 3 108 16 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
View all repositories

People

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

Top languages

Lean Java C#

Most used topics

Loading…