Projects in Awesome Lists by owo-lang
A curated list of projects in awesome lists by owo-lang .
https://github.com/owo-lang/minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent-types programming-language type-theory
Last synced: 22 Apr 2025
https://github.com/owo-lang/voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent-types extensible programming-language type-theory
Last synced: 09 May 2025
https://github.com/owo-lang/narc-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
dependent-types pattern-matching programming-language type-theory
Last synced: 09 May 2025
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: 29 Nov 2024