Skip to content
@wirelesssecuritylab

WirelessSecurityLab

Pinned Loading

  1. code-shooting code-shooting Public

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

    Go 4

  2. ccbr 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 const…

    JavaScript 37 4

  3. ZookeeperTraceVerification ZookeeperTraceVerification Public

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

    Java 3 1

  4. SDP_Verification SDP_Verification Public

    Forked from 10227694/SDP_Verification

    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 2

  5. tlaplus18 tlaplus18 Public

    Forked from tlaplus/tlaplus

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

    Java

Repositories

Showing 10 of 11 repositories
  • kafka Public Forked from apache/kafka

    kafka组件自构建自维护

    wirelesssecuritylab/kafka’s past year of commit activity
    Java 0 Apache-2.0 14,153 0 0 Updated Aug 21, 2024
  • tlaplus18 Public Forked from tlaplus/tlaplus

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

    wirelesssecuritylab/tlaplus18’s past year of commit activity
    Java 0 MIT 198 0 0 Updated Jun 5, 2024
  • AI-SCDF Public
    wirelesssecuritylab/AI-SCDF’s past year of commit activity
    0 0 0 0 Updated Apr 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.

    wirelesssecuritylab/ccbr’s past year of commit activity
    JavaScript 37 Apache-2.0 4 1 3 Updated Mar 13, 2024
  • ZookeeperTraceVerification Public

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

    wirelesssecuritylab/ZookeeperTraceVerification’s past year of commit activity
    Java 3 1 0 0 Updated Dec 22, 2023
  • code-shooting Public

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

    wirelesssecuritylab/code-shooting’s past year of commit activity
    Go 4 MIT 0 0 0 Updated Jun 16, 2023
  • testing-distributed-systems Public Forked from asatarin/testing-distributed-systems

    Curated list of resources on testing distributed systems

    wirelesssecuritylab/testing-distributed-systems’s past year of commit activity
    HTML 0 CC-BY-4.0 227 0 0 Updated Jan 31, 2023
  • SDP_Verification Public Forked from 10227694/SDP_Verification

    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.

    wirelesssecuritylab/SDP_Verification’s past year of commit activity
    TLA 2 MIT 1 0 0 Updated Jan 28, 2023
  • opa Public Forked from open-policy-agent/opa

    An open source, general-purpose policy engine.

    wirelesssecuritylab/opa’s past year of commit activity
    Go 0 Apache-2.0 1,359 0 0 Updated Jan 19, 2023
  • Examples Public Forked from tlaplus/Examples

    A collection of TLA+ specifications of varying complexities

    wirelesssecuritylab/Examples’s past year of commit activity
    TLA 0 238 0 0 Updated Jan 17, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…