Engineered languages (often abbreviated to engelangs, or, less commonly, engilangs) are constructed languages devised to test or prove some hypotheses about how languages work or might work. There are at least three subcategories, philosophical languages (or ideal languages), logical languages (sometimes abbreviated as loglangs), and experimental languages.

For an overview on the range of enginnered languages, see the Wikipedia article.

There is a small list of engineered languages in the Wikipedia.

There are some constructed languages with their own tags that can be classified as engineered languages, namely