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
minitt
MLPolyR (GitHub source)
CubicalTT (GitHub source)
YaccTT (GitHub source)
Vanilla Mini-TT (GitHub mirror)
RedPRL (GitHub source)
Agda
- Molikto's mlang
OwO (WIP)
This plugin is created for personal entertainment purpose. Don't expect too much, but contributions/discussions/feature requests are welcomed!
Screenshots:
