Skip to content

@galois-autocompleter Galois Autocompleter

Change the repository type filter

All

    Repositories list

    2 repositories

    • galois-plugin-intellij

      Public
      Galois Autocompleter Plugin for IntelliJ
      Java
      •
      MIT License
      •1•0•0•0•Updated Sep 21, 2020Sep 21, 2020

    • galois-plugin-vscode

      Public
      Galois Autocompleter Plugin for VS Code, an auto code completer based on OpenAI GPT-2.
      TypeScript
      •3•9•0•0•Updated Apr 14, 2020Apr 14, 2020