Ensody is a research project developing a declarative, synthesizing programming language based on artificial intelligence.
Ensody reproduces the problem solving process of a human programmer and automates the most laborious and error-prone development tasks. The human developer only has to provide knowledge about the goal that Ensody cannot possibly know.
By specifying no implementation details and only focusing on the high-level specification you can free up the compiler to make the best decisions for you.
The goal is to achieve an orders-of-magnitude improvement in programming effectiveness (code size, simplicity, maintainability, formal correctness, security, performance).