Network And Open Source Institute in Dalian University of Technology.

I am so proud of our organization. Here we provide all the resources you need in DUT as our best effort.

• DUTyard discuss forum
• Free access to resources during your development and seminar - https://space.bilibili.com/1058346981
• Collection of DUT tools and blogrool - https://github.com/NAOSI-DLUT/awesome-dlut / https://github.com/NAOSI-DLUT/blogroll
• NAOSI website - https://naosi.org, also manual - https://man.naosi.org
• Campus project - https://campus2025.top
• ...

Network Decision Diagram [NSDI'25 Outstanding Paper] in XJTU-NetVerify lab

A new decision diagram customized for network verification. It is more efficient than BDD when used for network verification, in terms of memory and computation. NDD wraps BDD with another layers of decision diagram, such that each node represents a field of the network, and each edge is labeled with a BDD encoding the values of that field. Due to the locality of fields in networks, NDD can significantly reduce the redundant nodes.

Also refer to:

• jdd - https://github.com/Augists/jdd, a modified version of BDD Java implementation.
• bdd-undergra-thinking - https://github.com/Augists/bdd-undergra-thinking, where we generated our basic idea of NDD.
• blog - https://augists.top/NOTES/PAPER/From-Network-Verification-to-NDD.

A multi-model human activity detection tool based on our paper [MASS'22] in DLUT WiLNA lab.

Recogize human activity behaviors by WiFi CSI data and video frames. Gain a much better performance than GateFi [IoTJ'23].

Pull Request on Batfish - https://github.com/Batfish/Batfish

• feat: NDD data structure support
• fix: duplicated BDD operations

An online document management system based on Beego in Golang.

• feat: Microsoft format importing support

Virtual Node Random Smooth Weighted Round Robin algorithm, aimed to solve the "herd effect" problem in cluster deployment scenarios.

Very simple modification at nginx swrr branch - https://github.com/Augists/nginx

Also refer to PR - nginx/nginx#837

Experiments in different consistent hashing algorithms on load balancing, lookup time cost, remapping.

Description and analysis LB algorithms: hash mod, hash-ring chash, multi-probe chash, Jump chash, Maglev chash, AnchorHash, DxHash, Rendezvous hash. Also take a look of my blog - https://augists.top/NOTES/LB/LB%20Algorithms%20Sharing

A CLI tool written in Go that streamlines the process of crafting conventional Git commit messages. It provides an interactive experience for building commits and features an experimental AI-assisted commit message generation based on your staged changes.

An English version of kawaii logos for coders.

For its original Japanese version and LICENSE, please refer to SAWARATSUKI https://github.com/SAWARATSUKI/KawaiiLogos

A hugo theme adjust to our lab homepage - https://github.com/XJTU-NetVerify/XJTU-NetVerify.github.io. And it can be access by https://xjtu-netverify.github.io

Also refer to our ANTS Group Index Webpage - https://github.com/XJTU-NetVerify/ants-index

A tool for generating ascii flow graph in DOT language.

$ ./dot2ascii-darwin example/example.dot
+-----------+
|    Foo    |
+-----------+
  |
  |
  v
+-----------+
|     b     | -+
+-----------+  |
  |            |
  |            |
  v            |
+-----------+  |
|     c     |  |
+-----------+  |
  :            |
  : edgename   |
  v            |
+-----------+  |
|     d     | -+
+-----------+

$ dot2ascii --fancy example/example2.dot

                 ┌─────────┐
                 │         │
     ┌───┐     ┌───┐     ┌───┐     ┌───┐
  ┌─ │ 0 │ ─── │ 1 │ ─── │   │ ─── │ 3 │
  │  └───┘     └───┘     │   │     └───┘
  │    │                 │   │
  │    └──────────────── │ 2 │
  │                      │   │
  │                      │   │
  └───────────────────── │   │
                         └───┘

An upper alphabet font for poster and cover (designed by myself) & DUT slide template & other tools.