Formal | npm.io

A <2kb library for validating data of any kind

validation formal form prop-types codeparticle

2.0.1 • Published 3 years ago

Network security analysis tools

network security flow graph analysis analyzer router firewall formal verification

0.0.9 • Published 4 years ago

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

lira compiler formal verification defi decentralized contracts secure future options

0.4.3 • Published 6 years ago

An easy-to-use, expressive, and composable JSON object validator, with fluent builder pattern interface.

json data structure object validator validate formal functional expressive fluent

1.0.0 • Published 4 years ago

An easy-to-use, expressive, and composable JSON object validator, with a fluent builder pattern interface!

json data structure object validator validate formal functional expressive fluent

0.3.2 • Published 4 years ago

Convert informal SQL SELECT to formal SQL.

pg slang sql select informal formal table column row

0.2.6 • Published 7 years ago

Primitives for an applied ontology

Ontology formal analysis OntoClean DOLCE relata

0.0.0 • Published 9 years ago

ESTree formal data generator.

estree ast spec formal data generator

2.0.0 • Published 3 years ago

Form state management and building library for react and redux

react redux form forms formal

0.5.0 • Published 8 years ago

An interpreter of well-formed formulas in propositional calculus.

propositional calculus interpreter formal logic language

0.0.1 • Published 11 years ago

Spanish verb conjugator, castellano, voseo, canarias, formal

spanish verb conjugation voseo castellano canarias formal nodejs JavaScript TypeScript

2.3.6 • Published 5 years ago

Transforms common internet slangs into a more formal words.

1.0.2 • Published 8 years ago

Formal Proving Language

mathematics fpl formal language

1.0.2 • Published 4 years ago

Core tool for the Quint specification language

temporal logic formal specification verification

0.22.3 • Published 9 months ago

Formal Dehyde Sensor Device for bodhi node red

node-red device bodhi formal sensor dehyde formal dehyde sensor

0.0.2 • Published 2 years ago

Formal Packages

@codeparticle/formal

labyrinth-nsg

lira-js

expressive-json-validator

fluent-json-validator

pg-slang

relata

estree-formal

react-redux-formal

llang

@jirimracek/conjugate-esp

fin-slang

tree-sitter-fpl

@informalsystems/quint

@softwaredevelopment/node-red-contrib-bodhi-device-formal-dehyde-sensor