a repository for the standard IDE of ebda3 programming language.