Join the PLDB email list:
Join
❌
PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
Nova
<
>
home
edit
Nova is an
editor
created in
2019
.
#4636
on PLDB
5
Years Old
Homepage
Tags:
editor
Early development of Nova happened in
Panic Inc
marten.html
· nova-editor.html ·
phpstorm-editor.html
PLDB
- Build the next great programming language
·
Add
·
Issues
·
About
·
Search
·
Keywords
·
Livestreams
·
Labs
·
Resources
·
Acknowledgements
Built with Scroll v164.7.0