Need help with evm-lang-design?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

131 Stars 9 Forks MIT License 19 Commits 0 Opened issues


Language Design Community for the EVM: Intro and Resources

Services available


Need anything else?

Contributors list


Gitter chat Twitter Follow

A community of language design enthusiasts interested in bringing new languages to the Ethereum platform.

Current status:

Apart from general discussions in the Gitter room, some people in this community are in the process of conducting an experiment in which different approaches to contract implementation will be evaluated with respect to a set of metrics. New participants and opinions are extremely welcome! We are currently in the process of defining the framework of the experiment, help and feedback is encouraged.

Topics of interest:

  • Entity Component Systems
  • Linear Logic and types
  • Haskell-inspired language for the EVM
  • Lisp-inspired language for the EVM
  • Dependent Types and Formal Verification
  • Asynchrony

Please join us on the evm-lang-design gitter channel for all things PLT+ETH: Gitter chat

Please read the Contributing License Agreement. Communication on Gitter and other public channels are also subject to this agreement.


New EVM Language Experiments

EVM Platform

Dependent Types and Formal Verification


Entity Component Systems



Welcome Committee

We hope you feel welcomed to this community and that it is easy for you to join in the conversation regardless of your skill level!

Several members of the community have volunteered to answer questions or help you get acquainted with what is going on. Feel free to reach out and say hello!

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.