@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

@jirimracek/conjugate-esp

Spanish verb conjugator, castellano, voseo, canarias, formal

v2.3.6 URL: https://unpkg.com/@jirimracek/conjugate-esp@2.3.6/dist/index.js

Open Browse Files

spanish verb conjugation voseo castellano canarias formal nodejs JavaScript TypeScript

@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