The following Muses are under development to work with Mnemosyne.
For information on developing new Muses see Architecture#Muses.
Note: Due to an open bug in GitLab's pages feature (gitlab-pages#504, forum/44691) videos don't render in Safari.
Integration of the Herbie system for improving the accuracy of floating-point expressions.
Dynamic Invariant Generation (DIG)
Execution trace driven Dynamic Invariant Generation (DIG).
Software Search Replace (SSR)
AST-level software search and replacement. Enables automated structured library replacement using pre-defined rules.
Fork of the Galois project for machine learning based code completion.
Probabilistic code completion of callsite arguments using a statistical database.
Automated program repair technique.
Integration of the TypeWriter technique for the inference of types in Python.
Type-driven automated tests using the hypothesis library
Integration of the Compiler Explorer interactive compiler framework.