Popular repositories Loading

1. openmz openmz Public

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

   Assembly 12 2

2. oss-graph-metrics oss-graph-metrics Public

   Tools to mine and compute metrics on OSS software.

   Jupyter Notebook 5 4

3. liven liven Public

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

   Java 1

4. unison-mirror unison-mirror Public

   Forked from unison-code/unison

   MIRROR of Unison's source code

   Haskell 1

5. gecode-mirror gecode-mirror Public

   Forked from Gecode/gecode

   Mirror of Gecode (Generic Constraint Development Environment)

   C++ 1

6. mirror mirror Public

   Documentation and issues related to the Castor mirroring service.

   Shell 1 1