OwO

OCaml 2LGPL-2.1 2 0 0 Updated Oct 25, 2021

IntelliJ plugin for several experimental programming languages here

Kotlin 37Apache-2.0 4 5 0 Updated Oct 18, 2021

The Ensemble distributed communications toolkit, for MetaPRL

OCaml 1 2 0 0 Updated Nov 11, 2020

metaprl Public archive Forked from jyh/metaprl

OCaml 2 3 0 0 Updated Nov 7, 2020

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

OCaml 0 2 0 0 Updated Nov 6, 2020

MLPolyR Public

The MLPolyR programming language, revived

Standard ML 25 2 3 0 Updated Oct 15, 2020

narc-rs Public

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

Rust 80Apache-2.0 3 11 (3 issues need help) 0 Updated Oct 5, 2020

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

Rust 100Apache-2.0 6 2 0 Updated Sep 21, 2020

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

Rust 124Apache-2.0 5 7 0 Updated Sep 21, 2020

nuprl-3 Public

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

Common Lisp 6 0 0 0 Updated Feb 7, 2020

Navigation Menu