A digital logic designer and circuit simulator.

A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means

An easy-to-learn/use static analysis framework for Java

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 …

Tai-e assignments for static program analysis

Copying Link, Image and Tab(s) as Markdown Much Easier.

A module of Riru/Zygisk. Enhance Intent Firewall.

A module of riru. Allow user block apps launch other app.

Realize the real eletrical network in Minecraft