Skip to content
View zhizhuoxin's full-sized avatar

Block or report zhizhuoxin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Sail RISC-V model

Sail 624 233 Updated Nov 6, 2025

mimalloc is a compact general purpose allocator with excellent performance.

C 12,120 1,011 Updated Nov 6, 2025

Mirror of BoringSSL

C++ 2,043 851 Updated Nov 5, 2025

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua

Rust 3,297 262 Updated Nov 3, 2025

OCaml graph library

OCaml 243 64 Updated Oct 28, 2025

RSD: RISC-V Out-of-Order Superscalar Processor

SystemVerilog 1,122 109 Updated Oct 23, 2025

Coq library for tactics, basic definitions, sets, maps

Rocq Prover 49 27 Updated Oct 6, 2025

Disk encryption with strong security based on TrueCrypt

C 8,589 1,093 Updated Sep 30, 2025
C++ 11 1 Updated Sep 12, 2025

Disassembler for Racket

Scheme 79 14 Updated Jun 20, 2025

A taint-tracking plugin for the Valgrind memory checking tool

C 262 44 Updated May 30, 2025

Patch your macOS kernel to enable support for the high-resolution timers on M1

C 35 Updated May 8, 2025

An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.

Python 54 18 Updated Dec 16, 2024

An official guide to elm in VG100

HTML 6 Updated Aug 28, 2024

Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address as an unprivileged local user, for the purpose of bypassing K…

C 460 50 Updated Apr 13, 2024

Analysis of anonymous grades retrieved by all JI students, among the courses with the same course id in different sections and academic years, aiming at forming a better and fairer GPA environment …

TypeScript 60 3 Updated Mar 28, 2024

This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.

Racket 24 5 Updated Jan 17, 2024

Packer configuration for Ubuntu Server 18.04, 20.04 and 22.04 for Proxmox.

Shell 91 29 Updated May 15, 2023

Elm 0.19 workshops. Includes Intro and Advanced courses.

Elm 214 123 Updated Jan 5, 2023

Construct the CFG(Control Flow Graph) from intel assembly code

Rust 63 2 Updated Nov 14, 2022

An IOKit kext designed for microarchitectural security research on M1

C++ 44 5 Updated Oct 30, 2022
Coq 5 Updated Sep 6, 2022

M1 bare metal project in Rust

C 31 2 Updated Sep 1, 2022

A Ghidra static analysis tool for locating PACMAN Gadgets

Python 13 Updated Sep 1, 2022

Defeating Pointer Authentication on the Apple M1 with Hardware Attacks

Rust 44 4 Updated Aug 12, 2022

A cleaned-up gem5-compatible version of https://github.com/LinuxPerfStudy/LEBench

C 1 Updated Jun 19, 2022

Some unstructured notes concerning the Broad tutorial to take place in March 2020

Coq 32 6 Updated Sep 18, 2021

A QQ group repeater bot.

Python 42 23 Updated Sep 17, 2021

Packer configuration files for Debian 11

Shell 24 17 Updated Aug 22, 2021
Next