Stars
Validating IGPs via Equivalent Topology Synthesis
Nanjing University Advanced Machine Learning Review
CLI tool powered by Nornir 3.0 for network automation fast configuration. Support BGP, OSPF, EIGRP, RIP auto-configuration.
The Routing Protocol and BNG Blaster is an open-source network tester for routing and access protocols.
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
Port of OpenAI's Whisper model in C/C++
piano-man / DPIFuzz
Forked from QUIC-Tracker/quic-trackerA differential fuzzing framework for the QUIC protocol
acmccs / format
Forked from borisveytsman/acmartACM consolidated LaTeX styles
AK478BB / AK-Atmosphere
Forked from Atmosphere-NX/AtmosphereAK原版大气层个人整合包
Solutions to "Introduction to Models of Computation" of Nanjing University
iCloud3 v3 - An advanced iDevice tracker that uses Apple iCloud account and HA Mobile App data for presence detection and location based automations.
AltStore is an alternative app store for non-jailbroken iOS devices.
天气预报HomeAssistant集成，支持15天及逐小时预报、各种生活指数，兼容彩云卡片，无需申请appkey
A zotero plugin to automatically merge duplicate items
Translate PDF, EPub, webpage, metadata, annotations, notes to the target language. Support 20+ translate services.
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.