GitHub repository: yiisoft/mutex-redis
Primary language: PHP
Description: Redis mutex implementation for yiisoft/mutex.