CASTOR-Software

castor-days.github.io

Enhanced-MDG

Datasets for the WASP project course

gecode-mirror

Mirror of Gecode (Generic Constraint Development Environment)

HolBA-mirror

Mirror of https://github.com/kth-step/HolBA Binary analysis in HOL

kth-software-talks

How we run the KTH Software meetups

liven

Liven is a diversity builder. It enable continuous diversification in software life cycle.

mirror

Documentation and issues related to the Castor mirroring service.

openmz

OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

oss-graph-metrics

Tools to mine and compute metrics on OSS software.

unison-mirror

MIRROR of Unison's source code

castor-software/openmz

OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

castor-software/oss-graph-metrics

Tools to mine and compute metrics on OSS software.

castor-software/castor-days.github.io

castor-software/Enhanced-MDG

Datasets for the WASP project course

castor-software/gecode-mirror

Mirror of Gecode (Generic Constraint Development Environment)

castor-software/HolBA-mirror

Mirror of https://github.com/kth-step/HolBA Binary analysis in HOL

castor-software/kth-software-talks

How we run the KTH Software meetups

castor-software/liven

Liven is a diversity builder. It enable continuous diversification in software life cycle.

castor-software/mirror

Documentation and issues related to the Castor mirroring service.

castor-software/nnpy

cffi-based Python bindings for nanomsg

castor-software/unison-mirror

MIRROR of Unison's source code

castor-software/castor-software-docs

Documentation about how to release CASTOR software artifacts to external repositories

castor-software/depheaven

castor-software/jshrink

Statically remove the body of uninvoked methods through call graph analysis and dynamic profiling

castor-software/mininet

Emulator for rapid prototyping of Software Defined Networks

castor-software/modelyze-mirror

Mirror of https://github.com/david-broman/modelyze

castor-software/network_listener

This is a listener interface designed to receive updates from mininet

castor-software/repairnator-mirror

Mirror of https://github.com/eclipse/repairnator

castor-software/verificatum-vjsc-mirror

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.

castor-software/verificatum-vmn-mirror

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.

castor-software/wiwu