owo-lang/OwO-Haskell-Deprecated owo-lang/OwO-Haskell-Deprecated

  • This repository has been archived on 14/Feb/2019
  • Stars
    star
    2
  • Language
    Haskell
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
owo-lang/OwO-Haskell-Deprecated
github

owo-lang

Reviews

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

Repository Details

Deprecated Haskell implementation of OwO

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-lang.github.io

Website: Documentation, tutorials, etc.
2
star
9

nuprl-3

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