GitHub repository: pkitazos/elixir_maty
Primary language: Elixir
Description: Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG