Skip to content
@modality-org

Modality

verifiable contracts using temporal modal logic
README.md

Pinned Loading

  1. modality-temp1 modality-temp1 Public

    verifiable contracts using temporal modal logic

    2

Repositories

Showing 6 of 6 repositories
  • .github Public
    modality-org/.github’s past year of commit activity
    0 0 0 0 Updated Jan 20, 2025
  • modality Public

    verifiable contracts using temporal modal logic

    modality-org/modality’s past year of commit activity
    JavaScript 4 MIT 0 0 0 Updated Jan 13, 2025
  • modality-temp1 Public

    verifiable contracts using temporal modal logic

    modality-org/modality-temp1’s past year of commit activity
    2 0 28 0 Updated Jan 6, 2025
  • modality-network-bootstrap Public
    modality-org/modality-network-bootstrap’s past year of commit activity
    JavaScript 0 0 0 0 Updated Dec 16, 2024
  • modality.network Public
    modality-org/modality.network’s past year of commit activity
    TypeScript 0 0 0 0 Updated Dec 16, 2024
  • modality-js Public
    modality-org/modality-js’s past year of commit activity
    JavaScript 0 0 0 0 Updated Dec 9, 2024

People

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

Top languages

Loading…

Most used topics

Loading…