owo-lang

owo-lang

🏢 Organization

5 repositories on SrcLog

View on GitHub
5 Repos
361 Stars
11 Forks
361 Watchers

Repositories (5)

minitt-rs owo-lang/minitt-rs Rust

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

106
voile-rs owo-lang/voile-rs Rust

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

97
narc-rs owo-lang/narc-rs Rust

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

75
OwO owo-lang/OwO Rust

Placeholder for the OwO compiler

59
MLPolyR owo-lang/MLPolyR Standard ML

The MLPolyR programming language, revived

24