Repositories list

• libmojave

  Public
  OCaml

  •

  GNU Lesser General Public License v2.1

  •2•1•0•0•Updated Oct 25, 2021Oct 25, 2021

• intellij-dtlc

  Public
  IntelliJ plugin for several experimental programming languages here

  dependent-typescubical-type-theoryintellij-plugin+ 6owocubicalttvoileminittmlpolyrredprl

  Kotlin

  •

  Apache License 2.0

  •5•34•5•0•Updated Oct 18, 2021Oct 18, 2021

• ensemble

  Public
  The Ensemble distributed communications toolkit, for MetaPRL

  OCaml

  •2•1•0•0•Updated Nov 11, 2020Nov 11, 2020

• metaprl

  Public archive
  OCaml

  •3•2•0•0•Updated Nov 7, 2020Nov 7, 2020

• theories

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

  OCaml

  •2•0•0•0•Updated Nov 6, 2020Nov 6, 2020

• MLPolyR

  Public
  The MLPolyR programming language, revived

  programming-languagetype-theoryextensible+ 1meta-language

  Standard ML

  •1•24•3•0•Updated Oct 15, 2020Oct 15, 2020

• narc-rs

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

  programming-languagedependent-typespattern-matching+ 1type-theory

  Rust

  •

  Apache License 2.0

  •4•79•11•0•Updated Oct 5, 2020Oct 5, 2020

• voile-rs

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

  programming-languagedependent-typestype-theory+ 1extensible

  Rust

  •

  Apache License 2.0

  •5•95•2•0•Updated Sep 21, 2020Sep 21, 2020

• minitt-rs

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

  programming-languagedependent-typestype-theory

  Rust

  •

  Apache License 2.0

  •3•116•7•0•Updated Sep 21, 2020Sep 21, 2020

• nuprl-3

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

  Common Lisp

  •0•1•0•0•Updated Feb 7, 2020Feb 7, 2020

• rfcs

  Public
  RFCs: Feature requests, discussions, etc.

  proposals

  MIT License

  •1•3•4•0•Updated Oct 10, 2019Oct 10, 2019

• owo-lang.github.io

  Public
  Website: Documentation, tutorials, etc.

  language

  MIT License

  •0•2•0•0•Updated Sep 7, 2019Sep 7, 2019

• Mini-TT

  Public
  Documented version of a simple type-theoretic language: Mini-TT

  programming-languagedependent-types

  Haskell

  •6•18•0•0•Updated May 5, 2019May 5, 2019

• OwO

  Public
  Placeholder for the OwO compiler

  programming-languagedependent-typescompiler+ 1proof-assistant

  Rust

  •

  Apache License 2.0

  •1•59•9•0•Updated Feb 20, 2019Feb 20, 2019

• Symmetric-Interaction-Calculus

  Public
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Rust

  •

  MIT License

  •55•2•0•0•Updated Feb 17, 2019Feb 17, 2019

• OwO-Haskell-Deprecated

  Public archive
  Deprecated Haskell implementation of OwO

  Haskell

  •1•2•0•0•Updated Feb 13, 2019Feb 13, 2019