@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

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

@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

@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

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