Skip to content
View niuzhi's full-sized avatar
2 followers · 7 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report niuzhi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. wirelesssecuritylab/ccbr wirelesssecuritylab/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 35 4

  2. wirelesssecuritylab/Examples wirelesssecuritylab/Examples Public

    Forked from tlaplus/Examples

    A collection of TLA+ specifications of varying complexities

    TLA

  3. tlaplus/tlaplus tlaplus/tlaplus Public

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

    Java 2.2k 184

  4. opensecuritycontroller/community opensecuritycontroller/community Public

    Python 15 44

  5. wirelesssecuritylab/ZookeeperTraceVerification wirelesssecuritylab/ZookeeperTraceVerification Public

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

    Java 3 1