Skip to content
ZedExt

Type to search extensions
@thingsdoer

@thingsdoer

@zdavison
meetsmore.com Berlin, Germany

Extensions 1

Quint

93

Syntax highlighting and language server support for the Quint specification language.

Language LSP
ZedExt An unofficial community project. Not affiliated with Zed Industries.

Data from Zed’s extension registry and GitHub · updated

About Create Extension Zed Editor GitHub