evm-lang-design

by evm-lang-design

evm-lang-design / evm-lang-design

Language Design Community for the EVM: Intro and Resources

130 Stars 10 Forks Last release: Not found MIT License 19 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

fp-ethereum

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.

Resources

New EVM Language Experiments

EVM Platform

Dependent Types and Formal Verification

Haskell

Entity Component Systems

  • https://en.wikipedia.org/wiki/Entity%E2%80%93component%E2%80%93system
  • http://entity-systems.wikidot.com/
  • http://www.chris-granger.com/2012/12/11/anatomy-of-a-knockout/
  • https://github.com/junkdog/artemis-odb/wiki/Introduction-to-Entity-Systems
  • https://www.youtube.com/watch?v=V1Eu9vZaDYw

Miscellaneous

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.