They use rust for the gpu

https://github.com/zed-industries/zed/tree/main/crates/gpui

See the discussion on a collection of elements ontop

https://news.ycombinator.com/item?id=45719004