A proof assistant and a dependently-typed language
-
Updated
Jun 8, 2026 - Java
A proof assistant and a dependently-typed language
A high-performance, eBPF-based network traffic analyzer written in Rust.
黑色的猫咪 银发的少女 没有结局的故事
eBPF Security Monitoring and Sandboxing Agent Based on Aya
your globally distributed waifu storage
Programmable eBPF fentry/fexit tracing framework for Linux. Hook any kernel function with one Rust trait — structured JSON events out. TCP connects, retransmits, closes, and any function you define.
This repository contains the source code for TCBee, a TCP flow analysis tool recording packet headers and kernel metrics at up to 5M events/s
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
Disk Usage Analyzer & Duplicate File Finder
面向 Root Android 设备的 CPU 线程绑核优化模块,支持自动校准和 eBPF FPS 监测。
Simple network monitoring agent tool. Powered by eBPF & Rust 🐝
High performance (real time / offline) darknet flow feature extraction tool built in Rust using eBPF.
Add a description, image, and links to the aya topic page so that developers can more easily learn about it.
To associate your repository with the aya topic, visit your repo's landing page and select "manage topics."