ostinelli/syn

This system is a distributed process registry and group management library for Erlang, known as Syn. It provides mechanisms for registering and discovering processes across a cluster, managing process groups, and handling conflict resolution in distributed environments. The codebase includes comprehensive testing, including property-based and formal verification, to ensure correctness and handle edge cases like network splits and race conditions.

ostinelli/syn was measured the same way every project in this corpus was: the same rubric, at a pinned commit, with the result published in full. Point the surveyor at a repository you know and see whether you agree with it.