Search results

13 packages found

Core tool for the Quint specification language

published 0.20.0 3 days ago
M
Q
P

An interpreter of well-formed formulas in propositional calculus.

published 0.0.1 10 years ago
M
Q
P

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

published 0.3.2 3 years ago
M
Q
P

Form state management and building library for react and redux

published 0.5.0 7 years ago
M
Q
P

Network security analysis tools

published 0.0.9 3 years ago
M
Q
P

A <2kb library for validating data of any kind

published 2.0.1 2 years ago
M
Q
P

Spanish verb conjugator, castellano, voseo, canarias, formal

published 2.3.6 3 years ago
M
Q
P

Transforms common internet slangs into a more formal words.

published 1.0.2 7 years ago
M
Q
P

Formal Dehyde Sensor Device for bodhi node red

published 0.0.2 8 months ago
M
Q
P

Convert informal SQL SELECT to formal SQL.

published 0.2.6 6 years ago
M
Q
P

ESTree formal data generator.

published 2.0.0 2 years ago
M
Q
P

Primitives for an applied ontology

published 0.0.0 8 years ago
M
Q
P

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

published 0.4.3 5 years ago
M
Q
P