Pinned Repositories
intellij-dtlc
IntelliJ plugin for several experimental programming languages here
metaprl
Mini-TT
Documented version of a simple type-theoretic language: Mini-TT
minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
MLPolyR
The MLPolyR programming language, revived
narc-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
OwO
Placeholder for the OwO compiler
OwO-Haskell-Deprecated
Deprecated Haskell implementation of OwO
rfcs
RFCs: Feature requests, discussions, etc.
voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
OwO's Repositories
owo-lang/minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
owo-lang/voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
owo-lang/narc-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
owo-lang/OwO
Placeholder for the OwO compiler
owo-lang/intellij-dtlc
IntelliJ plugin for several experimental programming languages here
owo-lang/MLPolyR
The MLPolyR programming language, revived
owo-lang/Mini-TT
Documented version of a simple type-theoretic language: Mini-TT
owo-lang/rfcs
RFCs: Feature requests, discussions, etc.
owo-lang/metaprl
owo-lang/OwO-Haskell-Deprecated
Deprecated Haskell implementation of OwO
owo-lang/owo-lang.github.io
Website: Documentation, tutorials, etc.
owo-lang/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
owo-lang/ensemble
The Ensemble distributed communications toolkit, for MetaPRL
owo-lang/libmojave
owo-lang/nuprl-3
3.2 version of The Nuprl Proof Development System, for historical interests
owo-lang/theories
MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl