This editor is developed with Jai language https://github.com/focus-editor/focus