OwO

OwO's repositories

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

Language:RustApache-2.0113 10 22

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

Language:RustApache-2.094 12 90

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

Language:RustApache-2.079 9 34

Placeholder for the OwO compiler

Language:RustApache-2.059 17 35

IntelliJ plugin for several experimental programming languages here

Language:KotlinApache-2.034 5 15

The MLPolyR programming language, revived

Language:Standard ML23 6 5

Documented version of a simple type-theoretic language: Mini-TT

Language:Haskell17 60

RFCs: Feature requests, discussions, etc.

MIT3 7 6

Language:OCaml2 30

Deprecated Haskell implementation of OwO

Language:Haskell2 50

Website: Documentation, tutorials, etc.

MIT2 60

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustMIT2 50

The Ensemble distributed communications toolkit, for MetaPRL

Language:OCaml1 20

Language:OCamlLGPL-2.11 20

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

Language:Common Lisp1 60

MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl

Language:OCaml020