CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Awesome-LLM: a curated list of Large Language Model

Windows kernel-mode driver emulating well-known USB game controllers.

Self-hosted game stream host for Moonlight.

Security Research from the Microsoft Security Response Center (MSRC)

LaTeX template for dissertations in Peking University

Constraint solver based on coverage-guided fuzzing

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A list of system papers using/about Intel SGX

PyTorch implementation of MoCo: https://arxiv.org/abs/1911.05722

Code and data for the paper "Reduce, Reuse, Recycle: Green Information Retrieval Research"

A model-based API Fuzzer for SMT Solvers.

Learning to Solve SMT Formulas Fast

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…

🧙‍♂️ ImageMagick 7

The official Vim repository

KLEE / CSE Project

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

An llvm pass to perform taint analysis on your code.