Skip to content
@ephel-lang

ephel-lang

Pinned Loading

  1. ephel ephel Public

    Language mixing functional programming and Ambient Calculus

    OCaml 9

  2. nethra nethra Public

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

    OCaml 10 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 9 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 10 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…