Search results
13 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
Core tool for the Quint specification language
published version 0.22.4, 15 days ago1 dependents licensed under $Apache 2.0
2,889
A <2kb library for validating data of any kind
published version 2.0.1, 3 years ago4 dependents licensed under $MIT
352
Convert informal SQL SELECT to formal SQL.
published version 0.2.6, 6 years ago0 dependents licensed under $MIT
221
Contains the Lira compiler and some ergonomic tools. Can currently only be executed in a node environment.
published version 0.4.3, 5 years ago0 dependents licensed under $MIT
133
Spanish verb conjugator, castellano, voseo, canarias, formal
published version 2.3.6, 4 years ago0 dependents licensed under $MIT
28
Network security analysis tools
published version 0.0.9, 4 years ago0 dependents licensed under $MIT
30
Transforms common internet slangs into a more formal words.
published version 1.0.2, 8 years ago0 dependents licensed under $MIT
18
An easy-to-use, expressive, and composable JSON object validator, with a fluent builder pattern interface!
published version 0.3.2, 4 years ago0 dependents licensed under $MIT
12
An interpreter of well-formed formulas in propositional calculus.
published version 0.0.1, 10 years ago0 dependents licensed under $MIT
8
Form state management and building library for react and redux
published version 0.5.0, 7 years ago0 dependents licensed under $MIT
7
Formal Dehyde Sensor Device for bodhi node red
published version 0.0.2, a year ago0 dependents licensed under $ISC
6
Primitives for an applied ontology
published version 0.0.0, 8 years ago0 dependents licensed under $MIT
3
ESTree formal data generator.
published version 2.0.0, 3 years ago0 dependents licensed under $MIT
2