nsrknth's repositories

Stargazers:0Issues:0Issues:0

h26forge

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

Language:RustLicense:MITStargazers:0Issues:0Issues:0

icemaker

automatially find crashes in the rust compiler & tooling

Language:RustStargazers:0Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

llvm-project

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

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

pqcrypto

đź‘» Post-quantum cryptography for Python.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

shady

Research shading language IR

Language:CLicense:MITStargazers:0Issues:0Issues:0

snapchange

Lightweight fuzzing of a memory snapshot using KVM

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

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.

License:MITStargazers:0Issues:0Issues:0

tree-splicer

Simple grammar-based test case generator

License:MITStargazers:0Issues:0Issues:0

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

License:MITStargazers:0Issues:0Issues:0