Popular repositories Loading

1. algocentric algocentric Public

   Python 76 5

2. zookeeper-tla-spec zookeeper-tla-spec Public

   TLA 11 1

3. distributed-system-learning distributed-system-learning Public

   Collection of courses, papers, and experiments focusing on distributed systems

   8

4. Conformance Conformance Public

   practical model checking framework for concurrent and distributed systems

   5

5. IPA IPA Public

   Forked from HappyCS-Gu/IPA

   IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed…

   TLA 4 3

6. intro-disalg intro-disalg Public

   TeX 4