Skip to content

All extensions Themes Languages

All extensions Themes Languages About

Type to search extensions

↑↓move ↵open escclose

Extensions / dylanbraithwaite

Dylan Braithwaite

Dylan Braithwaite

@dylanbraithwaite

Extensions 1

Idris 2

Idris 2 language support

ZedExt / An unofficial community project. Not affiliated with Zed Industries.

Data from Zed’s extension registry and GitHub · updated 19 hours ago

About · Create Extension· Zed Editor· GitHub