Skip to content
@strata-org

Strata

Popular repositories Loading

  1. Strata Strata Public

    Lean 284 62

  2. jverify jverify Public

    Program verification for Java

    Java 15 3

  3. specimen specimen Public

    Lean 13 4

  4. Strata-Solidity Strata-Solidity Public

    Lean 4

  5. Strata-Boole Strata-Boole Public

    Lean 3 6

  6. Strata-Python Strata-Python Public

    Lean 2 3

Repositories

Showing 10 of 11 repositories
  • Strata-Boole Public
    strata-org/Strata-Boole's past year of commit activity
    Lean 3 Apache-2.0 6 0 0 Updated Oct 28, 2026
  • Strata-CLI Public
    strata-org/Strata-CLI's past year of commit activity
    Shell 0 Apache-2.0 1 0 5 Updated Oct 28, 2026
  • Strata-Python Public
    strata-org/Strata-Python's past year of commit activity
    Lean 2 Apache-2.0 3 0 6 Updated Oct 28, 2026
  • Strata Public
    strata-org/Strata's past year of commit activity
    Lean 284 Apache-2.0 62 146 42 Updated Oct 28, 2026
  • Strata-Generators Public
    strata-org/Strata-Generators's past year of commit activity
    Lean 0 Apache-2.0 0 2 4 Updated Oct 27, 2026
  • Strata-DDM Public
    strata-org/Strata-DDM's past year of commit activity
    Lean 0 Apache-2.0 3 1 4 Updated Oct 27, 2026
  • Strata-Solidity Public
    strata-org/Strata-Solidity's past year of commit activity
    Lean 4 0 0 7 Updated Oct 23, 2026
  • specimen Public
    strata-org/specimen's past year of commit activity
    Lean 13 Apache-2.0 4 14 15 Updated Oct 22, 2026
  • jverify Public

    Program verification for Java

    strata-org/jverify's past year of commit activity
    Java 15 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.

Most used topics

Loading…