Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/owo-lang/intellij-dtlc
IntelliJ plugin for several experimental programming languages here
cubical-type-theory cubicaltt dependent-types intellij-plugin minitt mlpolyr owo redprl voile
Last synced: 24 Mar 2024
