Lambë Language

Lambë language ecosystem

Pinned Repositories

compiler
Lambe compiler
Language:OCaml5 2 00
mona
Imperative language with axiomatic programming style
1 1 00
specification
A statically typed functional programming inspired by Haskell, OCaml and Rust.
Language:TeX8 2 00

Lambë Language's Repositories

lambe-lang/specification
A statically typed functional programming inspired by Haskell, OCaml and Rust.
Language:TeX8 2 00
lambe-lang/compiler
Lambe compiler
Language:OCaml5 2 00
lambe-lang/mona
Imperative language with axiomatic programming style
1 1 00