owo-lang/owo-lang.github.io owo-lang/owo-lang.github.io

  • Stars
    star
    2
  • Language
  • License
    MIT License
  • Created about 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
owo-lang/owo-lang.github.io
github

owo-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Website: Documentation, tutorials, etc.

More Repositories

1

minitt-rs

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

voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Rust
95
star
3

narc-rs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Rust
79
star
4

OwO

Placeholder for the OwO compiler
Rust
59
star
5

intellij-dtlc

IntelliJ plugin for several experimental programming languages here
Kotlin
34
star
6

MLPolyR

The MLPolyR programming language, revived
Standard ML
24
star
7

rfcs

RFCs: Feature requests, discussions, etc.
3
star
8

OwO-Haskell-Deprecated

Deprecated Haskell implementation of OwO
Haskell
2
star
9

nuprl-3

3.2 version of The Nuprl Proof Development System, for historical interests
Common Lisp
1
star