Skip to content
@lambe-lang

Lambë Language

Lambë language ecosystem

Popular repositories Loading

  1. specification specification Public

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

    TeX 8

  2. compiler compiler Public archive

    Lambe compiler

    OCaml 5

  3. mona mona Public

    Imperative language with axiomatic programming style

    1

Repositories

Showing 3 of 3 repositories
  • mona Public

    Imperative language with axiomatic programming style

    lambe-lang/mona’s past year of commit activity
    1 MIT 0 0 0 Updated May 31, 2023
  • specification Public

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

    lambe-lang/specification’s past year of commit activity
    TeX 8 Apache-2.0 0 0 0 Updated May 5, 2023
  • compiler Public archive

    Lambe compiler

    lambe-lang/compiler’s past year of commit activity
    OCaml 5 Apache-2.0 0 0 0 Updated Jun 8, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…