Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A cross-platform, OpenGL terminal emulator.

A post-modern modal text editor.

A new type of shell

A syntax-highlighting pager for git, diff, grep, and blame output

A terminal workspace with batteries included

A massively parallel, high-level programming language

A static verifier for Rust, based on the Viper verification infrastructure.

Rust bindings for the Z3 solver.