Pinned Loading

1. cloud-guardian cloud-guardian Public

   Modeling and analysis of IAM security policies

   Python 2

2. anomaly-detection anomaly-detection Public

   Anomaly Detection in Event Streams: Leveraging advanced deep learning for anomaly detection in event streams, with metrics evaluation, Slurm support, and Hadoop HDFS validation.

   Python 2

3. GPTLabs GPTLabs Public

   Building and Training Transformers Step-by-Step

   Python 2

4. pacti-org/pacti pacti-org/pacti Public

   A package for compositional system analysis and design

   Python 27 5

5. fact-fortress-dapp fact-fortress-dapp Public

   Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon

   Solidity 3

6. crome-cgg crome-cgg Public

   Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems

   Python 11 1