IntelliJ plugin for several experimental (most of them are dependently-typed) languages (which means they're created for PL research instead of everyday usages), including:
Voile
Narc
Mini-TT
MLPolyR (GitHub source)
CubicalTT (GitHub source)
YaccTT (GitHub source)
Vanilla Mini-TT (GitHub mirror)
RedPRL (GitHub source)
Agda
Molikto's mlang- VitalyR
MiniAgda (GitHub source)
OwO (WIP)
This plugin is created for personal entertainment purpose. Don't expect too much, but contributions/discussions/feature requests are welcomed!
Screenshots:
