Skip to content
@lambe-lang

Lambë Language

Lambë language ecosystem

Popular repositories

  1. nethra nethra Public

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

    OCaml 9 1

  2. specification specification Public

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

    TeX 8

  3. mitch mitch Public

    Compilation of an extended lambda-calculus to Michelson

    OCaml 6

  4. compiler compiler Public archive

    Lambe compiler

    OCaml 5

  5. mona mona Public

    Imperative language with axiomatic programming style

    1

Repositories

Showing 5 of 5 repositories
  • nethra Public

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

    OCaml 9 MIT 1 0 0 Updated May 23, 2024
  • mitch Public

    Compilation of an extended lambda-calculus to Michelson

    OCaml 6 MIT 0 0 0 Updated Mar 18, 2024
  • mona Public

    Imperative language with axiomatic programming style

    1 MIT 0 0 0 Updated May 31, 2023
  • specification Public

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

    TeX 8 Apache-2.0 0 0 0 Updated May 5, 2023
  • compiler Public archive

    Lambe compiler

    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…