[hocuspocus]

I think Lucid (the charts, not EVs) use these internally: https://github.com/higherkindness/rules_scala

And they support Scala 2.13

[bchallenor]

Interesting. Here is a comparison of the two rules_scala implementations: https://github.com/higherkindness/rules_scala/issues/261