Popular repositories Loading

1. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

2. pqcrypto pqcrypto Public

   Forked from kpdemetriou/pqcrypto

   👻 Post-quantum cryptography for Python.

   C

3. passes passes Public

4. snapchange snapchange Public

   Forked from awslabs/snapchange

   Lightweight fuzzing of a memory snapshot using KVM

   Rust

5. kani kani Public

   Forked from model-checking/kani

   Kani Rust Verifier

   Rust

6. h26forge h26forge Public

   Forked from h26forge/h26forge

   Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.

   Rust