VS Code Extensions
DSRV

DSRV

by EmilieHolmberg

VSCode extension for DSRV language support

Downloads

2

Rating

— (0)

Version

1.0.0

Last updated

Jun 18, 2026

This is a VS Code extension that provides language support for the "DSRV" language. The project was developed as part of my Bachlor's thesis as Aarhus University.

Features

The extension provides the following features:

  • Syntax Highlighting: The extension provides syntax highlighting for the "DSRV" language, making it easier to read and write code in this language.
  • Code Completion: The extension provides code completion suggestions for the "DSRV" language, while not context aware yet, it can still provide suggestions for keywords and functions in the language.
  • Code Running: The extension include two ways to run code in the "DSRV" language.
  • Error Checking: The extension provides error checking for the "DSRV" language, highlighting syntax errors and providing feedback to the user.

Requirements

While the language server is fully functional without any additional dependencies, the code running capabilities require the user to have the trustworthiness Checker repository compiled and the executable path added in the settings of the extension, as the extension does not include the binary or source code in the project.

Extension Settings

This extension contributes the following settings:

  • dsrv.binaryPath: (Optional) Provide the path to the trustworthiness checker executable to enable code running capabilities in the extension. If not provided, the code running features will not work

License

The project is licensed under GPL-3.0. For more details, please see the LICENSE file in the project repository.

Related extensions