Search results
13 packages found
Core tool for the Quint specification language
published 0.19.2 15 days 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
An interpreter of well-formed formulas in propositional calculus.
published 0.0.1 9 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
A <2kb library for validating data of any kind
published 2.0.1 2 years ago
M
Q
P
Network security analysis tools
published 0.0.9 3 years ago
M
Q
P
Spanish verb conjugator, castellano, voseo, canarias, formal
published 2.3.6 3 years ago
M
Q
P
Formal Dehyde Sensor Device for bodhi node red
published 0.0.2 7 months ago
M
Q
P
Transforms common internet slangs into a more formal words.
published 1.0.2 7 years ago
M
Q
P
Convert informal SQL SELECT to formal SQL.
published 0.2.6 6 years ago
M
Q
P
Primitives for an applied ontology
published 0.0.0 8 years ago
M
Q
P
ESTree formal data generator.
published 2.0.0 2 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