Corsa is a library to write runnable code contracts in Elixir.
Etherex is an Elixir high level library for the Ethereum blockchain based on the Ethereum Json RPC API
Makina is a DSL for writing PBT models for stateful systems.