Skip to content

@strata-org Strata

All

    Repositories list

    10 repositories

    • Strata-Generators

      Public
      Lean
      •
      Apache License 2.0
      •0•0•1•3•Updated Sep 13, 2026Sep 13, 2026

    • Strata-Boole

      Public
      Lean
      •
      Apache License 2.0
      •5•2•0•2•Updated Sep 12, 2026Sep 12, 2026

    • Strata

      Public
      Lean
      •
      Apache License 2.0
      •55•237•140•37•Updated Sep 12, 2026Sep 12, 2026

    • Strata-CLI

      Public
      Lean
      •
      Apache License 2.0
      •1•0•0•5•Updated Sep 11, 2026Sep 11, 2026

    • Strata-Python

      Public
      Lean
      •
      Apache License 2.0
      •3•1•0•6•Updated Sep 11, 2026Sep 11, 2026

    • jverify

      Public
      Program verification for Java
      Java
      •
      Apache License 2.0
      •3•12•108•14•Updated Sep 2, 2026Sep 2, 2026

    • Strata-DDM

      Public
      Lean
      •
      Apache License 2.0
      •2•0•1•4•Updated Sep 1, 2026Sep 1, 2026

    • specimen

      Public
      Lean
      •
      Apache License 2.0
      •4•10•12•6•Updated Jul 31, 2026Jul 31, 2026

    • Strata-Boogie

      Public
      C#
      •
      Apache License 2.0
      •1•0•0•1•Updated Jun 5, 2026Jun 5, 2026

    • .github

      Public
      495•1•0•0•Updated Oct 18, 2024Oct 18, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.