New Research: Supply Chain Attack on Axios Pulls Malicious Dependency from npm.Details →
Socket
Book a DemoSign in
Socket
b

bugarela

npm

Packages

Current Co-maintainers

Former Co-maintainers

3 packages

@informalsystems/quint

Core tool for the Quint specification language

@informalsystems/quint-language-server

Language Server for the Quint specification language

quint-vscode

Language support for Quint specifications