Repositories list

• kafka

  Public
  kafka组件自构建自维护

  Java

  •

  Apache License 2.0

  •14k•0•0•0•Updated Aug 21, 2024Aug 21, 2024

• tlaplus18

  Public
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Java

  •

  MIT License

  •203•0•0•0•Updated Jun 5, 2024Jun 5, 2024

• AI-SCDF

  Public
  0•0•0•0•Updated Apr 28, 2024Apr 28, 2024

• ccbr

  Public
  CCBR is a policy management system project. It uses the policy language Rego to implement the CIS benchmark test of cloud native kubernetes. In addition, it integrates gatekeeper, manages its constraint templates, constraints and policies, and supports policy deployment and audit inspection.

  JavaScript

  •

  Apache License 2.0

  •4•37•1•3•Updated Mar 13, 2024Mar 13, 2024

• ZookeeperTraceVerification

  Public
  本仓库为使用Trace运行态模型实现对Zookeeper集群中数据一致性、状态一致性以及其选举阶段、数据同步阶段、广播阶段 需要满足的属性进行形式化验证

  Java

  •1•3•0•0•Updated Dec 22, 2023Dec 22, 2023

• code-shooting

  Public
  代码打靶是一项高效的代码能力提升活动，可以带动打靶人员 Code Review 能力和编码能力的腾飞。代码打靶主要包括规范、内容和工具，规范实例化是代码缺陷规范，内容实例化是靶子和靶场，工具实例化是打靶服务。

  Go

  •

  MIT License

  •0•4•0•0•Updated Jun 16, 2023Jun 16, 2023

• testing-distributed-systems

  Public
  Curated list of resources on testing distributed systems

  HTML

  •

  Creative Commons Attribution 4.0 International

  •226•0•0•0•Updated Jan 31, 2023Jan 31, 2023

• SDP_Verification

  Public
  This project is about the TLA+ Spec of SDP architecture and algorithm written by Luming Dong and Zhi niu based on the open source project fwknop.

  TLA

  •

  MIT License

  •1•2•0•0•Updated Jan 28, 2023Jan 28, 2023

• opa

  Public
  An open source, general-purpose policy engine.

  Go

  •

  Apache License 2.0

  •1.4k•0•0•0•Updated Jan 19, 2023Jan 19, 2023

• Examples

  Public
  A collection of TLA+ specifications of varying complexities

  TLA

  •

  Other

  •201•0•0•0•Updated Jan 17, 2023Jan 17, 2023

• cpachecker

  Public
  C

  •

  Other

  •0•0•0•0•Updated Sep 3, 2022Sep 3, 2022