GitHub repository: lauramcastro/sessiontypechecker
Primary language: Erlang
Created: 2022-09-28T09:05:41Z
Description: This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.