nsrknth's repositories
h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
icemaker
automatially find crashes in the rust compiler & tooling
kani
Kani Rust Verifier
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
pqcrypto
đź‘» Post-quantum cryptography for Python.
shady
Research shading language IR
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.
tree-sitter-edit
A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.
tree-splicer
Simple grammar-based test case generator
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars