Skip to content

@DistAlgo DistAlgo Language

Change the repository type filter

All

    Repositories list

    5 repositories

    • alda

      Public
      Alda is an extension of DistAlgo to support logic rules.
      OpenEdge ABL
      •
      Other
      •2•2•0•1•Updated May 3, 2024May 3, 2024

    • distalgo

      Public
      This is the Python implementation of DistAlgo, a language for distributed algorithms.
      Python
      •
      Other
      •67•84•8•2•Updated Jan 31, 2022Jan 31, 2022

    • examples

      Public
      A repository of algorithms implemented in DistAlgo
      Python
      •
      MIT License
      •1•2•0•0•Updated Dec 4, 2020Dec 4, 2020

    • proofs

      Public
      TLA
      •3•8•0•0•Updated Nov 4, 2019Nov 4, 2019

    • distalgo-verifier

      Public
      A DistAlgo to TLA+ translator
      Python
      •3•1•0•0•Updated Jul 29, 2018Jul 29, 2018