Skip to content
@ephel-lang

ephel-lang

Pinned Loading

  1. ephel ephel Public

    Language mixing functional programming and Ambient Calculus

    OCaml 10

  2. nethra nethra Public

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

    OCaml 11 1

  3. mitch mitch Public

    Compilation of an extended lambda-calculus to Michelson

    OCaml 6

Repositories

Showing 3 of 3 repositories
  • ephel Public

    Language mixing functional programming and Ambient Calculus

    ephel-lang/ephel’s past year of commit activity
    OCaml 10 MIT 0 0 0 Updated Dec 10, 2024
  • nethra Public

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

    ephel-lang/nethra’s past year of commit activity
    OCaml 11 MIT 1 0 0 Updated Nov 30, 2024
  • mitch Public

    Compilation of an extended lambda-calculus to Michelson

    ephel-lang/mitch’s past year of commit activity
    OCaml 6 MIT 0 0 0 Updated May 28, 2024

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…