A prototype IDE for education; the precursor to mu https://github.com/mu-editor/mu
Primary LanguagePythonGNU General Public License v3.0GPL-3.0