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.
面向 Root Android 设备的 CPU 线程绑核优化模块,支持自动校准和 eBPF FPS 监测。
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.
An eBPF-based cloud-native network dataplane and control plane written in Rust, exploring CNI, Linux networking, and programmable networking architectures.
Disk Usage Analyzer & Duplicate File Finder
Simple network monitoring agent tool. Powered by eBPF & Rust 🐝
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."