I did this internship at McMaster University (Hamilton, Ontario), supervised by Sébastien Mosser, with two other students.
The aim of the project was to create an LSP for the P4 language, with an integrated plugin manager to add scripts to be executed at certain times. For example, tests (P4test or Petr4) to be run each time a file is saved.
LSP allows you to : syntax highlighting, code refactoring (e.g, renaming), syntactical diagnostic, code completion and navigation (e.g., “go to definition”).
Github The P4 language vscode extension