@informalsystems/quint

Core tool for the Quint specification language

v0.29.1 URL: https://unpkg.com/@informalsystems/quint@0.29.1/dist/src/index.js

Open Browse Files

temporal logic formal specification verification

@formalco/pulumi

A Pulumi package for creating and managing Formal resources.

v1.0.3 URL: https://unpkg.com/@formalco/pulumi@1.0.3/index.js

Open Browse Files

formal category/cloud category/database category/network

@codeparticle/formal

A <2kb library for validating data of any kind

v2.0.1 URL: https://unpkg.com/@codeparticle/formal@2.0.1/index.js

Open Browse Files

validation formal form prop-types codeparticle

jsonresume-theme-government-standard

Government/compliance roles - conservative, by-the-book formatting

v0.1.0 URL: https://unpkg.com/jsonresume-theme-government-standard@0.1.0/src/index.js

Open Browse Files

jsonresume theme government formal compliance ats

lira-js

Contains the Lira compiler and some ergonomic tools. Can currently only be executed in a node environment.

v0.4.3 URL: https://unpkg.com/lira-js@0.4.3/dist/src/index.js

Open Browse Files

lira compiler formal verification defi decentralized contracts secure future options trading