The package implements session-typed channels based on web-workers.