A proof assistant and a dependently-typed language
-
Updated
Aug 15, 2024 - Java
A proof assistant and a dependently-typed language
黑色的猫咪 银发的少女 没有结局的故事
your globally distributed waifu storage
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
Disk Usage Analyzer & Duplicate File Finder
Game Assist for GPD Win2, GPD Win Max, GPD Win3, OneGX, AYA
~ Intellij Platform plugin for Aya Prover
Sinabro is a networking solution for Kubernetes that leverages eBPF to provide high-performance networking and security features
~ VSCode extension for Aya Prover
Promise me not to build the nar when the dic file is wrong, okay?
ayaya vs code extension
udl file for lang aya (ukagaka shiori) in n
medusa aya moon quintile tenor mussel mind 4eve
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."