Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with cubicaltt
A curated list of projects in awesome lists tagged with cubicaltt .
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: 09 Aug 2024