quint | executable specification language with design and tooling

by informalsystems TypeScript Version: v0.11.2 License: Apache-2.0

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | quint Summary

quint is a TypeScript library. quint has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. You can download it from GitHub.

Quint is a modern specification language that is a particularly good fit for distributed systems and blockchain protocols. It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art static analysis and development tooling.

Support

Quality

Security

License

Reuse

Support

quint has a low active ecosystem.

It has 79 star(s) with 9 fork(s). There are 14 watchers for this library.

There were 3 major release(s) in the last 12 months.

There are 174 open issues and 286 have been closed. On average issues are closed in 48 days. There are 8 open pull requests and 0 closed requests.

It has a neutral sentiment in the developer community.

The latest version of quint is v0.11.2

Quality

quint has no bugs reported.

Security

quint has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

quint is licensed under the Apache-2.0 License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

quint releases are available to install and integrate.

Installation instructions are not available. Examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of quint

Get all kandi verified functions for this library.

quint Key Features

No Key Features are available at this moment for quint.

quint Examples and Code Snippets

No Code Snippets are available at this moment for quint.

Community Discussions

No Community Discussions are available at this moment for quint.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install quint

You can download it from GitHub.

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: