@codeparticle/formal
A <2kb library for validating data of any kind
A <2kb library for validating data of any kind
Network security analysis tools
Contains the Lira compiler and some ergonomic tools. Can currently only be executed in a node environment.
An easy-to-use, expressive, and composable JSON object validator, with fluent builder pattern interface.
An easy-to-use, expressive, and composable JSON object validator, with a fluent builder pattern interface!
Convert informal SQL SELECT to formal SQL.
Primitives for an applied ontology
ESTree formal data generator.
An interpreter of well-formed formulas in propositional calculus.
Form state management and building library for react and redux
Spanish verb conjugator, castellano, voseo, canarias, formal
Transforms common internet slangs into a more formal words.
Formal Proving Language
Core tool for the Quint specification language
Formal Dehyde Sensor Device for bodhi node red