Mnemo

Muses

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.

Herbie

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.

Trinity

Integration of the Trinity An Extensible Synthesis Framework for Data Science technique for program synthesis.

Galois Autocomplete

Fork of the Galois project for machine learning based code completion.

Argument Predictor

Probabilistic code completion of callsite arguments using a statistical database.

GenPatcher

Automated program repair technique.

TypeWriter

Integration of the TypeWriter technique for the inference of types in Python.

Hypothesis Tests

Type-driven automated tests using the hypothesis library

Compiler Explorer

Integration of the Compiler Explorer interactive compiler framework.