Pinned Loading

1. stackrox/stackrox stackrox/stackrox Public

   The StackRox Kubernetes Security Platform performs a risk analysis of the container environment, delivers visibility and runtime alerts, and provides recommendations to proactively improve security…

   Go 1.2k 170

2. tla2typst tla2typst Public

   in progress tla+ spec to typst code converter

   Go

3. autogo-nacos autogo-nacos Public

   Static and runtime vulnerability analysis for cloud-native applications.

   Go

4. GeoMark GeoMark Public

   This is a re-imagining of the locally differentially private trajectory data perturbation framework utilizing the geo-indistinguishability differential privacy framework

   Python 7

5. randy-kv randy-kv Public

   A high-performance distributed key-value database that uses a gossip and gRPC-based communication system for low-latency data transactions.

   C++