CASTOR-Software's repositories
oss-graph-metrics
Tools to mine and compute metrics on OSS software.
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
unison-mirror
MIRROR of Unison's source code
castor-software-docs
Documentation about how to release CASTOR software artifacts to external repositories
modelyze-mirror
Mirror of https://github.com/david-broman/modelyze
network_listener
This is a listener interface designed to receive updates from mininet
repairnator-mirror
Mirror of https://github.com/eclipse/repairnator
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.
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.