8000 Disalg-ICS-NJU repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@Disalg-ICS-NJU Disalg-ICS-NJU

Change the repository type filter

All

    Repositories list

    6 repositories

    • zookeeper-tla-spec

      Public
      TLA
      •1•10•0•0•Updated Mar 28, 2025Mar 28, 2025

    • algocentric

      Public
      Python
      •
      GNU General Public License v3.0
      •6•75•0•0•Updated Mar 3, 2025Mar 3, 2025

    • distributed-system-learning

      Public
      Collection of courses, papers, and experiments focusing on distributed systems
      GNU General Public License v3.0
      •0•5•0•0•Updated Jan 24, 2025Jan 24, 2025

    • IPA

      Public
      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 consensus protocols.
      TLA
      •
      GNU General Public License v3.0
      •4•4•0•0•Updated Nov 4, 2022Nov 4, 2022

    • PaxosStore-TLA

      Public
      TLA
      •
      MIT License
      •0•0•0•0•Updated Oct 11, 2022Oct 11, 2022

    • MIPA

      Public
      Java
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jul 19, 2022Jul 19, 2022
    0