@informalsystems/quint

Core tool for the Quint specification language

v0.29.0 URL: https://unpkg.com/@informalsystems/quint@0.29.0/dist/src/index.js

Open Browse Files

temporal logic formal specification verification

@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

@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

@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

pg-slang

Convert informal SQL SELECT to formal SQL.

v0.2.6 URL: https://unpkg.com/pg-slang@0.2.6/index.js

Open Browse Files

pg slang sql select informal formal table column row