Explore @owo-lang Open Source projects

OwO (@owo-lang)

owo-lang

Stars
436
Global Org. Rank 25,958 (Top 9 %)
Registered about 6 years ago
Most used languages

Rust
50.0 %

Haskell
12.5 %

Common Lisp
12.5 %

Standard ML 12.5 %

Kotlin
12.5 %

minitt-rs

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

voile-rs

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

narc-rs

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

OwO

Placeholder for the OwO compiler

intellij-dtlc

IntelliJ plugin for several experimental programming languages here

MLPolyR

The MLPolyR programming language, revived

rfcs

RFCs: Feature requests, discussions, etc.

owo-lang.github.io

Website: Documentation, tutorials, etc.

OwO-Haskell-Deprecated

Deprecated Haskell implementation of OwO

nuprl-3

3.2 version of The Nuprl Proof Development System, for historical interests