OwO

libmojave

OCaml 0 1 0 0 Updated Aug 12, 2021
intellij-dtlc
IntelliJ plugin for several experimental programming languages here

Kotlin 28 Apache-2.0 3 5 0 Updated Mar 15, 2021
ensemble
The Ensemble distributed communications toolkit, for MetaPRL

OCaml 0 1 0 0 Updated Nov 11, 2020
metaprl Archived

OCaml 2 1 0 0 Updated Nov 7, 2020
theories
MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl

OCaml 0 1 0 0 Updated Nov 6, 2020
MLPolyR
The MLPolyR programming language, revived

Standard ML 18 1 3 0 Updated Oct 15, 2020
narc-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching

Rust 63 Apache-2.0 2 11 (3 issues need help) 0 Updated Oct 5, 2020
voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Rust 80 Apache-2.0 5 2 0 Updated Sep 21, 2020
minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Rust 81 Apache-2.0 1 7 0 Updated Sep 21, 2020
nuprl-3
3.2 version of The Nuprl Proof Development System, for historical interests

Common Lisp 1 0 0 0 Updated Feb 7, 2020

Pinned