GitHub repository: zack-bitcoin/chalang
Primary language: Erlang
Description: a language optimized for state channels on blockchains.