Skip to content
Change the repository type filter

All

    Repositories list

    • This is a listener interface designed to receive updates from mininet
      Python
      0000Updated Mar 15, 2021Mar 15, 2021
    • nnpy

      Public
      cffi-based Python bindings for nanomsg
      Python
      39100Updated Mar 15, 2021Mar 15, 2021
    • wiwu

      Public
      HTML
      0000Updated Feb 11, 2021Feb 11, 2021
    • MIRROR of Unison's source code
      Haskell
      18100Updated Jan 12, 2021Jan 12, 2021
    • mininet

      Public
      Emulator for rapid prototyping of Software Defined Networks
      Python
      1.8k000Updated Dec 10, 2020Dec 10, 2020
    • openmz

      Public
      OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
      Assembly
      21530Updated Jun 26, 2020Jun 26, 2020
    • Documentation about how to release CASTOR software artifacts to external repositories
      HTML
      0000Updated May 26, 2020May 26, 2020
    • depheaven

      Public
      Java
      0000Updated Mar 10, 2020Mar 10, 2020
    • Datasets for the WASP project course
      Shell
      0100Updated Dec 13, 2019Dec 13, 2019
    • Tools to mine and compute metrics on OSS software.
      Jupyter Notebook
      3501Updated Oct 21, 2019Oct 21, 2019
    • Java
      84000Updated Oct 19, 2019Oct 19, 2019
    • mirror

      Public
      Documentation and issues related to the Castor mirroring service.
      Shell
      1100Updated Oct 18, 2019Oct 18, 2019
    • Mirror of https://github.com/kth-step/HolBA Binary analysis in HOL
      Standard ML
      21100Updated Oct 15, 2019Oct 15, 2019
    • Mirror of Gecode (Generic Constraint Development Environment)
      C++
      81100Updated Apr 12, 2019Apr 12, 2019
    • 0100Updated Mar 8, 2019Mar 8, 2019
    • Mirror of https://github.com/verificatum/verificatum-vmn. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material.
      JavaScript
      3000Updated Dec 12, 2018Dec 12, 2018
    • Mirror of https://github.com/verificatum/verificatum-vmn. The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
      Java
      4000Updated Dec 11, 2018Dec 11, 2018
    • liven

      Public
      Liven is a diversity builder. It enable continuous diversification in software life cycle.
      Java
      0160Updated Jun 4, 2018Jun 4, 2018
    • OCaml
      7000Updated May 25, 2018May 25, 2018