Note: This extension is currently in beta. Please report any issues on GitLab, or send an email to digitallab@rug.nl.

Themis VSCode Extension

VSCode extension for interacting with Themis, the automated programming judge used at the University of Groningen and Vrije Universiteit. Submit code, check results, and manage assignments without leaving your editor.

What is Themis?

Themis is an automated judge developed by the Digital Lab at the University of Groningen. It compiles and runs submitted code inside isolated containers, then grades output against reference solutions.

Features

• Sidebar panel for browsing Themis assignments inside VSCode.
• Submit your work to Themis without leaving the editor.
• Check submission status and results inline.

Prerequisites

• VSCode (might work on older versions, but always ensure latest version)
• Active Themis account (requires valid university credentials)

Installation

Install from the VS Code Marketplace (search for "Themis"), or download the .vsix from the GitLab releases and install via Extensions: Install from VSIX....

Support

Issues and feature requests: open a ticket on the GitLab project.

Contributing

Contributions are welcome. See docs/README.md for the developer documentation hub, or jump straight to docs/GETTING_STARTED.md to set up a local dev environment.

License

AGPL-3.0-only.