Pinned Loading

1. hoare-logic-prover hoare-logic-prover Public

   Proof-of-concept formal verification using Hoare logic

   Python 21 4

2. lambdifier lambdifier Public

   Python obfuscation for the average lambda enjoyer

   Python 16 1

3. di-unipi-socc/kube-hound di-unipi-socc/kube-hound Public

   Automated security smell detection for Kubernetes applications

   Python 3 3

4. quill-zkvm quill-zkvm Public

   Building a zkvm from scratch

   Rust