Selected Tags

Click on a tag to remove it

Distributed Systems packages

Showing projects tagged as Protocol and Distributed Systems

  • ron-rdt

    8.7 0.0 Haskell
    Haskell implementation of RON and RON-RDT

  • protocol

    0.6 0.0 Haskell
    Model distributed system as type-level multi-party protocol.