Giters
ziqiaozhou

ziqiaozhou

Geek Repo

8

followers

1

following

4

stars

Github PK Tool:Github PK Tool

ziqiaozhou's starred repositories

verismo

A formally verified security module for AMD confidential VMs

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

core-slicing

Getting Started with the Core Slicing Prototype

Language:PythonStargazers:9Issues:0Issues:0

verified-nrkernel

Language:RustLicense:NOASSERTIONStargazers:5Issues:0Issues:0

riscv-wiki

Stargazers:250Issues:0Issues:0