Lists (8)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
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. 🦀
PyTorch implementation of MoCo: https://arxiv.org/abs/1911.05722
Code and data for the paper "Reduce, Reuse, Recycle: Green Information Retrieval Research"
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…
🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
An llvm pass to perform taint analysis on your code.