GitHub repository: kdmnk/ProtoGen.ex
Primary language: Elixir
Description: Project to generate Elixir code with mcrl2 specification