Plugins with tag "Tools integration"

Sireum v3

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

marklogic-intellij-plugin

MarkLogic integration, providing an error log viewer, and support for running and profiling the following query types on MarkLogic.

Sireum v3 Injector

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

ElmExternalTools

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

Offline Review Board

Plugin for Review board with notifications and offline support.