Plugins with tag "Tools integration"

Offline Review Board

Plugin for Review board with notifications and offline support.

ElmExternalTools

Provides external tools for the Elm programming language. External tools:.

Sireum v3 Injector

Sireum is a software analysis platform being developed at SAnToS Laboratory, Kansas State University.