5 results found Sort:

aya-prover
aya-dev aya-prover
19
289
mit
9
A proof assistant and a dependently-typed language
aya dependent-types proof-assistant
Created 2020-11-09
5,038 commits to main branch, last one a day ago
pythops
tamanoir pythops
11
172
gpl-3.0
4
A KeyLogger using eBPF 🐝
aya ebpf rust linux hacking security keylogger
Created 2024-10-19
18 commits to main branch, last one 18 days ago
aya-rs
awesome-aya aya-rs
12
110
cc-by-sa-4.0
7
A curated list of awesome eBPF 🐝 projects using aya-rs and Rust 🦀
aya ebpf rust linux awesome awesome-list
Created 2021-10-28
22 commits to main branch, last one 11 days ago
Taromati2
Taromati2 Taromati2
11
95
other
5
黑色的猫咪 银发的少女 没有结局的故事
aya nar ghost kikka a-topic ukagaka sirefaso sosiremi taromati taromati2 desktop-pet sakurascript ukagaka-ghost
This repository has been archived (exclude archived)
Created 2020-02-20
16 commits to master branch, last one 5 months ago
zz85
profile-bee zz85
3
32
mit
2
🐝🦀🔥 An ebpf based CPU profiler written in Rust
aya ebpf rust profile
Created 2022-10-10
39 commits to main branch, last one about a month ago