🚀 An awesome banner view for Android，Based on ViewPager2. 这可能是全网最好用的ViewPager轮播图。简单、高效，一行代码实现循环轮播，一屏三页任意变，指示器样式任你挑。

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …

[NSDI'25] The library of Network Decision Diagram based on JDD.

[NSDI'22] Differential Network Analysis

[NSDI'20] APKeep: Realtime Verification for Real Networks

This is a modified version of bitbucket.org/vahidi/jdd, which is a decision diagram library written in pure java.