Muses

Argument Predictor

Probabilistic code completion of callsite arguments using a statistical database.

• Usage script.

• More information.

DIG

Execution trace driven Dynamic Invariant Generation (DIG).

• More information.

Function Generator

Creation of a function body based on the prototype and documentation string using OpenAI's Codex model.

• More information.

Galois Autocomplete

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

• Usage script.

• More information.

GenPatcher

Automated program repair technique.

Compiler Explorer

Integration of the Compiler Explorer interactive compiler framework.

• More information.

Herbie

Integration of the Herbie system for improving the accuracy of floating-point expressions.

• More information.

Hypothesis Tests

Type-driven automated tests using the hypothesis library

• Usage script.

• More information.

Snippet Mining

Implementation of the algorithm described in "Exempla Gratis (E.G.) - Code Examples for Free" to provide developers with example API usage snippets mined from a corpus of programs

• Usage script.

• More information.

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.

• Usage script.

• More information.

TypeWriter

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

• More information.