Skip to content
View ifquant's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Block or report ifquant

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

DeepDi: A Fast and Accurate Disassembler for Binary Code AI

Python 104 7 Updated May 1, 2026

A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)

10,180 787 Updated Apr 8, 2026

Matplot++: A C++ Graphics Library for Data Visualization 📊🗾

C++ 4,875 377 Updated Apr 2, 2026

This repo provides an integration which allows LISA to work with QEMU VMs.

Python 4 6 Updated Apr 21, 2020

The CompCert formally-verified C compiler

Rocq Prover 2,167 257 Updated May 7, 2026

ACT hardware description language and core tools.

C++ 127 29 Updated May 12, 2026

PAAS: A System Level Simulator for Heterogeneous (CPU-FPGA) Computing Systems

Ada 44 15 Updated Sep 3, 2021

Public development project of the SPARTA DSMC software package http://sparta.github.io

C++ 236 112 Updated Apr 28, 2026

Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.

C++ 108 15 Updated Jul 8, 2018

A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation

C++ 1,507 231 Updated Apr 12, 2026

eBPF verifier based on abstract interpretation

C++ 462 52 Updated May 3, 2026

一个能让你了解所有函数调用顺序以及函数耗时的Android库(无需侵入式代码)

Java 2,498 311 Updated Apr 22, 2019

期货交易日历

Python 8 2 Updated Sep 27, 2017

draw k line with qt

C++ 167 99 Updated May 31, 2017