Skip to content

Navigation Menu

Sign in
Appearance settings
ephel-lang

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@ephel-lang

ephel-lang

Pinned Loading

  1. ephel ephel Public

    Language mixing functional programming and Ambient Calculus

    OCaml 12

  2. nethra nethra Public

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

    OCaml 15 1

  3. mitch mitch Public

    Compilation of an extended lambda-calculus to Michelson

    OCaml 6

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 3 of 3 repositories

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…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.