Lambë Language

Lambë Language's repositories

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

Language:OCamlMIT9 30

A statically typed functional programming inspired by Haskell, OCaml and Rust.

Language:TeXApache-2.08 20

Compilation of an extended lambda-calculus to Michelson

Language:OCamlMIT6 10

Lambe compiler

Language:OCamlApache-2.05 20

Imperative language with axiomatic programming style

MIT1 10