@informalsystems/quint
Core tool for the Quint specification language
0.25.1 • Published 6 months ago
Specification Packages
@jelica-rado/upward-spec
UPWARD specification, guide, and test suite.
@jmbpwtw/parse5
HTML parser and serializer.
@ortac/specification
Ortac Specification and definition files
@revodigital/mpes
The mpes specification code
@stdlib/assert-is-same-native-class
Test if two arguments have the same native class.
@stdlib/utils-native-class
Determine the specification defined classification of an object.
@string-searching/specification
String searching specification for JavaScript
@swindle/specification
An implementation of the specification pattern.
@readyapi/oas-utils
Open API spec and Yaml handling utilities
@reme3d2y/postcss-custom-properties
Use Custom Properties Queries in CSS
@reme3d2y/postcss-custom-properties-new
Use Custom Properties Queries in CSS
@sherry-standard/commitlint
规范化 Git 提交信息。
@sherry-standard/prettier
定制化的 prettier 配置
@sherry-standard/stylelint
定制化的 stylelint 配置，包含了多个版本，如 CSS, LESS, SCSS 等。
@specky-pm/cli
Specky Package Manager - A CLI tool for creating, installing, and managing component specifications
@specverse/validation-tools
Validation tools for SpecVerse specifications and manifests
@scalar/oas-utils
Open API spec and Yaml handling utilities
@scriptappy/from-jsdoc
Generate a [Scriptappy](https://github.com/qlik-oss/scriptappy) definition from your JSDoc.
@scriptappy/schema
A specification for Javascript APIs