sivadeilra's repositories
hax
A Rust verification tool
000
libcrux
The formally verified crypto library for Rust
Apache-2.0000
libuv
Cross-platform asynchronous I/O
Language:CMIT000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Language:Rust000
sarif-vscode-extension
SARIF Microsoft Visual Studio Code extension
symstore
Implements API for retrieval of symbols and other debug artifacts from symbol store.
MIT000
tracelogging
TraceLogging events and tracing
Language:RustNOASSERTION000
windows-rs
Rust for Windows
Apache-2.0000
Language:RustBSD-2-Clause000