Skip to content

All extensions Themes Languages

All extensions Themes Languages About

Type to search extensions

↑↓move ↵open escclose

Extensions / owlx56

Owlx

Owlx

BEng. Cyberspace Security at Xidian University

Extensions 1

Lean 4

Lean 4 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