aya
There are 37 repositories under aya topic.
aya-prover/aya-dev
A proof assistant and a dependently-typed language
pythops/tamanoir
A KeyLogger using eBPF π
aya-rs/awesome-aya
A curated list of awesome eBPF π projects using aya-rs and Rust π¦
Taromati2/Taromati2
ι»θ²ηη«εͺ ιΆεηε°ε₯³ 沑ζη»ε±ηζ δΊ
ClarityCafe/Aya
your globally distributed waifu storage
zz85/profile-bee
ππ¦π₯ An ebpf based CPU profiler written in Rust
willfindlay/suidsnoop
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
7room/aya
Disk Usage Analyzer & Duplicate File Finder
Jigoku/ayatool
Linux userspace tools for BlackWeb AYA (LED Mouse)
YAYA-shiori/tama
Tama - AYA5 Console
aztecher/bdc
BDC is the eBPF powered DNS caching mechanism in kernel inspired by BMC
TeslaKang/GameAssist
Game Assist for GPD Win2, GPD Win Max, GPD Win3, OneGX, AYA
aya-prover/intellij-aya
~ Intellij Platform plugin for Aya Prover
aya-prover/aya-vscode
~ VSCode extension for Aya Prover
wqld/sinabro
Sinabro is a networking solution for Kubernetes that leverages eBPF to provide high-performance networking and security features
anfedotoff/bombini
eBPF security monitoring agent based on Aya
YAYA-shiori/yaya-CI-check
Promise me not to build the nar when the dic file is wrong, okay?
arindas/memcached-ebpf-proxy-cache
Intercept and serve memcached requests from eBPF.
vazw/simple-firewall
simple firewall a simple kernel level firewall using aya-ebpf
YAYA-shiori/ayaya-vs-code-extension
ayaya vs code extension
containerscrew/nflux
Network monitoring tool using eBPF. Powered by Aya-rs π
DailyAya/telegram
Telegram bot for DailyAya
ShayanSalehi81/BachelorProject
Framework for prompt-based Persian text classification using pre-trained language models, with K-shot learning, symbol tuning, and comprehensive evaluation metrics.
azminewasi/AyaFestPe
Developing AyaFestPe, A Multi-lingual and Multi-cultural Festival Exploration Guide
cppcoffee/c-oncpu
perf event process
cppcoffee/rust-memleak
Tracking Rust application memory usage dynamically.
Ubuntufanboy/aya
Lightweight, Fast, Heavily Customizable Logging
webmural/deev
medusa aya moon quintile tenor mussel mind 4eve
YAYA-shiori/aya-udl-xml
udl file for lang aya (ukagaka shiori) in n++
7room/getaya.co
Aya website
Eagle3386/aya-platform
Software platform for AYA e. V. events, using phpBB user accounts.
cppcoffee/c-fdleak
Dynamic track C/C++ application file descriptor leak.
cppcoffee/c-memleak
Tracking C/C++ application memory usage dynamically.
lazypwny751/triphase
an eBPF based alarm generator written in rust via aya rs.
lvillis/protego
π‘οΈ Protego is an eBPF-based security tool for Linux designed to enhance system protection.
pyaillet/aya-lb-dr
A minimal example of using aya to build a loadbalancer with direct return