Repositories list

• TwoPhase

  Public
  Java

  •

  MIT License

  •2•3•1•0•Updated May 28, 2025May 28, 2025

• trace_validation_tools

  Public
  Java

  •

  MIT License

  •1•4•0•0•Updated Mar 3, 2025Mar 3, 2025

• LockServer

  Public
  Java

  •0•0•0•0•Updated Feb 28, 2025Feb 28, 2025

• KeyValueStore

  Public
  V

  •

  MIT License

  •1•1•0•0•Updated Feb 26, 2025Feb 26, 2025

• TicTac

  Public
  TLA

  •

  MIT License

  •0•1•0•0•Updated Feb 11, 2025Feb 11, 2025

• Raft

  Public
  Java

  •

  MIT License

  •1•1•0•0•Updated Oct 6, 2024Oct 6, 2024

• MicroRaft

  Public
  Feature-complete implementation of the Raft consensus algorithm in Java

  Java

  •

  Apache License 2.0

  •46•0•0•0•Updated Sep 18, 2023Sep 18, 2023