Wenhui Zhang's repositories
airship-drydock
A declarative host provisioning system.
AISystem
AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术
codeium.vim
Free, ultrafast Copilot alternative for Vim and Neovim
ghz
Simple gRPC benchmarking and load testing tool
governance
Confidential Computing Consortium Governance Documents
keybroker
TEE attestation server implementing the RATS protocol.
Linux-Kernel-Programming_2E
Linux Kernel Programming 2E - published by Packt
LMFlow
An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.
maat
Maat is a centralized software integrity measurement and attestation (M&A) service
openvino_notebooks
📚 Jupyter notebook tutorials for OpenVINO™
privacy-preserving-prompt
Privacy-Preserving Prompt Tuning for Large Language Model
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
unitycatalog
Open, Multi-modal Catalog for Data & AI
valkey
A new project to resume development on the formerly open-source Redis project. We're calling it Valkey, since it's a twist on the key-value datastore.
verismo
A formally verified security module for AMD confidential VMs
verus
Verified Rust for low-level systems code
VulBench
This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), deep learning methods and static analyzers
WASEM
WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
ZLUDA
CUDA on ??? GPUs