Pinned Loading

1. narc-rs narc-rs Public

   (WIP) Dependently-typed programming language with Agda style dependent pattern matching

   Rust 80 3

2. intellij-dtlc intellij-dtlc Public

   IntelliJ plugin for several experimental programming languages here

   Kotlin 37 4

3. voile-rs voile-rs Public

   Dependently-typed row-polymorphic programming language, evolved from minitt-rs

   Rust 100 6

4. minitt-rs minitt-rs Public

   Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

   Rust 123 5