Pinned Repositories
Cyber-RnD
h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
kani
Kani Rust Verifier
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
passes
pqcrypto
👻 Post-quantum cryptography for Python.
snapchange
Lightweight fuzzing of a memory snapshot using KVM
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
macroni
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
nsrknth's Repositories
nsrknth/Cyber-RnD
nsrknth/h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
nsrknth/kani
Kani Rust Verifier
nsrknth/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
nsrknth/passes
nsrknth/pqcrypto
👻 Post-quantum cryptography for Python.
nsrknth/snapchange
Lightweight fuzzing of a memory snapshot using KVM
nsrknth/tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.