A framework for the elicitation, specification, formalization and understanding of requirements.

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

Scada-LTS is an Open Source, web-based, multi-platform solution for building your own SCADA (Supervisory Control and Data Acquisition) system.

Project created to practice SDN-based Attack & Defence on Modbus/TCP and HTTP protocols in an ICS network.

ICSs virtualized lab for cybersecurity testing

Tennessee Eastman Challenge Problem Archive

Version 2 of the Graphical Realism Framework for Industrial Control Simulation (GRFICS)

Auto-configure and then control your Midea M-Smart devices (Air conditioner, Fan, Water heater, Washer, etc) via local area network.

一个搜索网络安全领域顶会论文的小工具

Magic The Gathering Arena bot that auto-plays to brute force daily and weekly rewards for gold/XP. Haven't used it in years, likely doesn't work anymore! Uploading here for reference.

Navigate the CVE jungle with ease.

High-level tracing language for Linux

A Toolchain to make Build and Run eBPF programs easier

A collection of eBPF programs demonstrating bad behavior, presented at DEF CON 29

ebpfkit is a rootkit powered by eBPF

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

A curated list of awesome projects related to eBPF.

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

中文分词 词性标注 命名实体识别 依存句法分析 成分句法分析 语义依存分析 语义角色标注 指代消解 风格转换 语义相似度 新词发现 关键词短语提取 自动摘要 文本分类聚类 拼音简繁转换 自然语言处理

结巴中文分词

Convert PDF files to TXT

将pdf转为txt然后进行分词，并进行词频统计

A free online class on network information hiding/steganography/covert channels.

Source code of the Cipherfix framework for fixing ciphertext side-channels.