Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/aya-rs/awesome-aya
A curated list of awesome eBPF 🐝 projects using aya-rs and Rust 🦀
awesome awesome-list aya ebpf linux rust
Last synced: 02 Jun 2024
![](https://github.com/aya-rs.png)
https://github.com/aya-prover/aya-dev
A proof assistant
aya dependent-types proof-assistant
Last synced: 30 May 2024
![](https://github.com/aya-prover.png)
https://github.com/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.
aya ebpf linux linux-kernel lsm rust security suid-binaries
Last synced: 22 Apr 2024
![](https://github.com/willfindlay.png)