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