nets-cs-pub-ro's repositories
unikraft-hackathon
Unikraft hackathon resources
android-jmdns
Example of direct communication between two devices using JmDNS for Android.
AndroidDnssdDemo
Example use of Dnssd discovery on Android (using jmdns)
iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) translator.