@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.
Form state management and building library for react and redux
An interpreter of well-formed formulas in propositional calculus.
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