PLDB
Measures
Concepts
GitHub icon
Nova
Nova - Editor
<
>
home
edit
Nova is an
editor
created in
2019
.
#3253
on PLDB
5
Years Old
Nova website
Nova first developed in
Panic, Inc
marten.html
路 nova-editor.html 路
phpstorm-editor.html
View source
PLDB
- Build the next great programming language
路
Search
路
Add Language
路
Features
路
Creators
路
Resources
路
About
路
Blog
路
Acknowledgements
路
Queries
路
Stats
路
Sponsor
路
Day 605
路
feedback@pldb.io
路
Login
Logout