The VS Code plugin relies on the the Frege Language Server for support of the language features and the Frege Gradle Plugin for build support and dependency management.

See the respective repositories for more details:

• Frege VS Code Plugin
• Frege Language Server
• Frege Gradle Plugin

The language server and the build support can also be used in other editors and IDEs.