IntelliJ plugin for several experimental programming languages here
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:
This plugin is created for personal entertainment purpose. Don't expect too much, but contributions/discussions/feature requests are welcomed!
Screenshots: .