Results
7
repositories owned by
OwO
OwO
59
Stars
1
Forks
Watchers
Placeholder for the OwO compiler
voile-rs
94
Stars
5
Forks
Watchers
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
narc-rs
79
Stars
4
Forks
Watchers
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
minitt-rs
113
Stars
2
Forks
Watchers
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
intellij-dtlc
34
Stars
5
Forks
Watchers
IntelliJ plugin for several experimental programming languages here
Mini-TT
15
Stars
0
Forks
Watchers
Documented version of a simple type-theoretic language: Mini-TT
MLPolyR
23
Stars
1
Forks
Watchers
The MLPolyR programming language, revived