nets-cs-pub-ro

nets-cs-pub-ro

Geek Repo

The Nets group - Computer Science and Engineering Department - University POLITEHNICA of Bucharest

Home Page:http://nets.cs.pub.ro

Github PK Tool:Github PK Tool

nets-cs-pub-ro's repositories

NDP

NDP datacenter stack

Language:C++License:BSD-2-ClauseStargazers:72Issues:15Issues:2
Language:CLicense:NOASSERTIONStargazers:2Issues:7Issues:0

unikraft-hackathon

Unikraft hackathon resources

Language:CStargazers:2Issues:6Issues:0

fastclick

FastClick - A faster version the Click Modular Router featuring an improved Netmap support and an improved DPDK support

Language:C++License:NOASSERTIONStargazers:1Issues:5Issues:0

nettalks

NetTalks

Language:CSSStargazers:1Issues:3Issues:0

Vera

P4 verifier using symbolic execution.

Stargazers:0Issues:3Issues:0

smkex

Secure Multipath Key Exchange

Language:CStargazers:0Issues:7Issues:0
Language:CLicense:GPL-2.0Stargazers:0Issues:5Issues:0

android-jmdns

Example of direct communication between two devices using JmDNS for Android.

Language:JavaStargazers:0Issues:4Issues:0

AndroidDnssdDemo

Example use of Dnssd discovery on Android (using jmdns)

Language:JavaStargazers:0Issues:4Issues:0

iptables-sefl

The iptables to SEFL (Symbolic Execution Friendly Language) translator.

Language:ScalaLicense:MITStargazers:0Issues:4Issues:0
Language:HTMLStargazers:0Issues:4Issues:0