Selected Tags

Click on a tag to remove it

Compiler Plugin packages

Showing projects tagged as Tools and Compiler Plugin

  • Linter

    5.3 0.0 Scala
    DISCONTINUED. Static Analysis Compiler Plugin for Scala

  • scala-escape

    2.6 0.0 Coq
    A compiler plug-in to control object lifetimes in Scala