A proof assistant and a dependently-typed language
-
Updated
Dec 14, 2025 - Java
#
aya
Here are 44 public repositories matching this topic...
黑色的猫咪 银发的少女 没有结局的故事
ghost aya nar desktop-pet ukagaka ukagaka-ghost a-topic sakurascript kikka taromati2 taromati sosiremi sirefaso
-
Updated
Jun 26, 2024
your globally distributed waifu storage
-
Updated
Sep 2, 2020 - TypeScript
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
-
Updated
Oct 31, 2021 - Rust
Disk Usage Analyzer & Duplicate File Finder
windows disk-space duplicates aya file-manager ntfs disk-usage top100 folder-viewer mft-parser folder-size duplicate-file-scanner disk-analyzer disk-usage-analyzer duplicate-file-finder
-
Updated
Jan 19, 2023
Simple network monitoring agent tool. Powered by eBPF & Rust 🐝
linux rust security networking kernel tracing aya ebpf xdp sniffing observability packet-capture bpf linux-tools traffic-control aya-rs
-
Updated
Dec 15, 2025 - Rust
~ Intellij Platform plugin for Aya Prover
-
Updated
Sep 10, 2025 - Java
Sinabro is a networking solution for Kubernetes that leverages eBPF to provide high-performance networking and security features
-
Updated
Oct 9, 2024 - Rust
Game Assist for GPD Win2, GPD Win Max, GPD Win3, OneGX, AYA
-
Updated
Sep 10, 2021
~ VSCode extension for Aya Prover
-
Updated
May 31, 2024 - TypeScript
ayaya vs code extension
-
Updated
Dec 18, 2022
Improve this page
Add a description, image, and links to the aya topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the aya topic, visit your repo's landing page and select "manage topics."