Skip to content

@castor-software CASTOR-Software

Change the repository type filter

All

    Repositories list

    21 repositories

    • jshrink

      Public
      Statically remove the body of uninvoked methods through call graph analysis and dynamic profiling
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Mar 14, 2022Mar 14, 2022

    • network_listener

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

    • nnpy

      Public
      cffi-based Python bindings for nanomsg
      Python
      •
      MIT License
      •39•1•0•0•Updated Mar 15, 2021Mar 15, 2021

    • wiwu

      Public
      HTML
      •0•0•0•0•Updated Feb 11, 2021Feb 11, 2021

    • unison-mirror

      Public
      MIRROR of Unison's source code
      Haskell
      •
      Other
      •17•1•0•0•Updated Jan 12, 2021Jan 12, 2021

    • mininet

      Public
      Emulator for rapid prototyping of Software Defined Networks
      Python
      •
      Other
      •1.8k•0•0•0•Updated Dec 10, 2020Dec 10, 2020

    • kth-software-talks

      Public
      How we run the KTH Software meetups
      0•1•0•0•Updated Nov 19, 2020Nov 19, 2020

    • openmz

      Public
      OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
      securityreal-timekernelriscv
      Assembly
      •
      Other
      •2•12•3•0•Updated Jun 26, 2020Jun 26, 2020

    • castor-software-docs

      Public
      Documentation about how to release CASTOR software artifacts to external repositories
      HTML
      •0•0•0•0•Updated May 26, 2020May 26, 2020

    • depheaven

      Public
      Java
      •0•0•0•0•Updated Mar 10, 2020Mar 10, 2020

    • Enhanced-MDG

      Public
      Datasets for the WASP project course
      Shell
      •0•1•0•0•Updated Dec 13, 2019Dec 13, 2019

    • oss-graph-metrics

      Public
      Tools to mine and compute metrics on OSS software.
      Jupyter Notebook
      •4•5•0•1•Updated Oct 21, 2019Oct 21, 2019

    • repairnator-mirror

      Public
      Mirror of https://github.com/eclipse/repairnator
      Java
      •
      MIT License
      •83•0•0•0•Updated Oct 19, 2019Oct 19, 2019

    • mirror

      Public
      Documentation and issues related to the Castor mirroring service.
      Shell
      •1•1•0•0•Updated Oct 18, 2019Oct 18, 2019

    • HolBA-mirror

      Public
      Mirror of https://github.com/kth-step/HolBA Binary analysis in HOL
      Standard ML
      •
      Other
      •21•1•0•0•Updated Oct 15, 2019Oct 15, 2019

    • gecode-mirror

      Public
      Mirror of Gecode (Generic Constraint Development Environment)
      C++
      •
      Other
      •76•1•0•0•Updated Apr 12, 2019Apr 12, 2019

    • castor-days.github.io

      Public
      0•1•0•0•Updated Mar 8, 2019Mar 8, 2019

    • verificatum-vjsc-mirror

      Public
      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
      •
      GNU Affero General Public License v3.0
      •3•0•0•0•Updated Dec 12, 2018Dec 12, 2018

    • verificatum-vmn-mirror

      Public
      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
      •
      GNU Affero General Public License v3.0
      •4•0•0•0•Updated Dec 11, 2018Dec 11, 2018

    • liven

      Public
      Liven is a diversity builder. It enable continuous diversification in software life cycle.
      Java
      •0•1•6•0•Updated Jun 4, 2018Jun 4, 2018

    • modelyze-mirror

      Public
      Mirror of https://github.com/david-broman/modelyze
      OCaml
      •
      GNU General Public License v3.0
      •7•0•0•0•Updated May 25, 2018May 25, 2018