https://github.com/owo-lang/intellij-dtlc

IntelliJ plugin for several experimental programming languages here
https://github.com/owo-lang/intellij-dtlc

cubical-type-theory cubicaltt dependent-types intellij-plugin minitt mlpolyr owo redprl voile

Last synced: 6 months ago
JSON representation

IntelliJ plugin for several experimental programming languages here

• Host: GitHub
• URL: https://github.com/owo-lang/intellij-dtlc
• Owner: owo-lang
• License: apache-2.0
• Created: 2019-03-10T01:07:28.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2021-10-18T19:54:58.000Z (over 3 years ago)
• Last Synced: 2024-08-10T14:11:30.666Z (10 months ago)
• Topics: cubical-type-theory, cubicaltt, dependent-types, intellij-plugin, minitt, mlpolyr, owo, redprl, voile
• Language: Kotlin
• Homepage:
• Size: 1.38 MB
• Stars: 34
• Watchers: 5
• Forks: 5
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Dependently-Typed Lambda Calculus

[![][d-svg]][jb-url]

[![][v-svg]][jb-url]

[![Build status][av-svg]][av-url]

[![Build Status][tv-svg]][tv-url]

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:

+ ![](./res/icons/voile/voile.svg)

  [Voile]

+ ![](./res/icons/narc/narc.svg)

  [Narc]

+ ![](./res/icons/minitt/minitt.svg)

  [Mini-TT][minitt]

+ ![](./res/icons/fileIcon/mlpr_file.svg)

  [MLPolyR] ([GitHub source][MLPolyR-gh])

+ ![](./res/icons/fileIcon/ctt_file.svg)

  [CubicalTT] ([GitHub source][Cubical-gh])

+ ![](./res/icons/fileIcon/ytt_file.svg)

  [YaccTT] ([GitHub source][Yacc-gh])

+ ![](./res/icons/fileIcon/mtt_file.svg)

  [Vanilla Mini-TT][Mini-TT] ([GitHub mirror][acore-mirror])

+ ![](./res/icons/redprl/redprl.svg)

  [RedPRL] ([GitHub source][RedPRL-gh])

+ ![](./res/icons/agda/agda.svg)

  [Agda]

+ ![](./res/icons/fileIcon/mlang_file.svg)

  Molikto's [mlang]

+ [VitalyR]

+ ![](./res/icons/fileIcon/ma_file.svg)

  [MiniAgda] ([GitHub source][MiniAgda-gh])

+ ![](./res/icons/fileIcon/owo_file.svg)

  [OwO] (WIP)

This plugin is created for personal entertainment purpose.

Don't expect too much, but contributions/discussions/feature requests

are welcomed!

Screenshots:

![preview image].

 [preview image]: https://i.imgur.com/QxysJ9X.gif

 [VitalyR]: https://ice1000.org/pages/vitalyr-normalizer.html

 [MLPolyR]: https://people.cs.uchicago.edu/~blume/mlpolyr/

 [MLPolyR-gh]: https://github.com/owo-lang/MLPolyR

 [minitt]: https://github.com/owo-lang/minitt-rs

 [Mini-TT]: http://www.cse.chalmers.se/research/group/logic/Mini-TT/

 [CubicalTT]: https://arxiv.org/abs/1611.02108

 [Cubical-gh]: https://github.com/mortberg/cubicaltt

 [YaccTT]: https://arxiv.org/abs/1712.01800

 [Yacc-gh]: https://github.com/mortberg/yacctt

 [acore-mirror]: https://github.com/owo-lang/Mini-TT

 [Voile]: https://github.com/owo-lang/voile-rs

 [Narc]: https://github.com/owo-lang/narc-rs

 [OwO]: https://github.com/owo-lang/OwO

 [Agda]: https://wiki.portal.chalmers.se/agda/pmwiki.php

 [RedPRL]: http://www.redprl.org

 [RedPRL-gh]: https://github.com/RedPRL/sml-redprl

 [mlang]: https://github.com/molikto/mlang

 [MiniAgda]: http://www.cse.chalmers.se/~abela/miniagda

 [MiniAgda-gh]: https://github.com/andreasabel/miniagda

 [d-svg]: https://img.shields.io/jetbrains/plugin/d/12176.svg

 [v-svg]: https://img.shields.io/jetbrains/plugin/v/12176.svg

 [jb-url]: https://plugins.jetbrains.com/plugin/12176

 [av-url]: https://ci.appveyor.com/project/ice1000/intellij-owo/branch/master

 [av-svg]: https://ci.appveyor.com/api/projects/status/2t8f42ojh17cim4j/branch/master?svg=true

 [tv-url]: https://travis-ci.org/owo-lang/intellij-dtlc

 [tv-svg]: https://travis-ci.org/owo-lang/intellij-dtlc.svg?branch=master