Skip to content
Change the repository type filter

All

    Repositories list

    • NDP

      Public
      NDP datacenter stack
      C++
      BSD 2-Clause "Simplified" License
      387521Updated Apr 25, 2023Apr 25, 2023
    • HTML
      2000Updated Oct 28, 2021Oct 28, 2021
    • Unikraft hackathon resources
      C
      1200Updated Oct 4, 2019Oct 4, 2019
    • Vera

      Public
      P4 verifier using symbolic execution.
      0100Updated Aug 21, 2018Aug 21, 2018
    • C
      Other
      0200Updated Aug 14, 2018Aug 14, 2018
    • smkex

      Public
      Secure Multipath Key Exchange
      C
      0000Updated Aug 14, 2018Aug 14, 2018
    • ss5

      Public
      C
      GNU General Public License v2.0
      0000Updated Nov 2, 2017Nov 2, 2017
    • fastclick

      Public
      FastClick - A faster version the Click Modular Router featuring an improved Netmap support and an improved DPDK support
      C++
      Other
      82100Updated Sep 13, 2017Sep 13, 2017
    • Symnet

      Public
      PHP
      5921Updated May 30, 2017May 30, 2017
    • The iptables to SEFL (Symbolic Execution Friendly Language) translator.
      Scala
      MIT License
      3000Updated Apr 24, 2017Apr 24, 2017
    • General

      Public
      0000Updated May 4, 2016May 4, 2016
    • nettalks

      Public
      NetTalks
      CSS
      0100Updated Jun 2, 2015Jun 2, 2015
    • Example of direct communication between two devices using JmDNS for Android.
      Java
      12000Updated Jan 4, 2014Jan 4, 2014
    • Example use of Dnssd discovery on Android (using jmdns)
      Java
      48000Updated Sep 5, 2012Sep 5, 2012