Skip to content
ZedExt

Type to search extensions
Haohan Yang

Haohan Yang

@haohanyang
Sweden and China

Extensions 1

Agda

49k

Agda support.

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