A simple, lightweight, flexible parser for Session Types in Elixir. Converts textual session type descriptions into typed Elixir data structures for protocol verification and implementation.
Show All Activities