GitHub repository: Jan200101/pragtical
Description: The practical and pragmatic code editor.