Latest release

The experimental Maude compiler can be used by running maudec as an executable in Linux or macOS, or with python maudec. It can also be installed with pip install maudec-0.1.0-py3-none-any.whl.

ai-improvement.tar.gz contains the scripts to improve code (and in particular the code generated by the compiler) using AI models and check whether the improved code is equivalent by differential testing. Several examples of translations in C++, Rust, and Python are included, along with their optimized code by several models. Manual and IA-generated tests inputs are included too.