The core of Marp converter

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)

LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)

北京大学 2024 年秋季学期信息中的概率统计（信概统）课程作业、笔记、试题。

A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study WebAssembly, for training machine learning models, and much …

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）