Manifest
    by Manifold
    Back to Results
    2026.10.201840

    TLA+ (Temporal Logic of Actions)

    TLA+ language support

    Programming LanguagesSnippetsFormattersOtherDebuggers
    Rank#1004
    Publisher tlaplusRegistry openvsx129,551Last scanned Oct 21, 2026, 05:59 PMRegistryHomepageGitHub
    Created
    7 years ago
    Last commit
    last week

    Security Findings

    No Security Findings

    No suspicious or malicious patterns were detected during scanning.