Explore projects
-
Upstream Git Repository for Computer Organization and Networks Practicals 2019/20
Updated -
-
Bernd Pruenster / s-kad
European Union Public License 1.2Updated -
A-SIT / Distributed Event System
European Union Public License 1.2Updated -
Bernd Pruenster / crypto-commons
European Union Public License 1.2Updated -
-
Updated
-
Updated
-
Updated
-
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Updated
-
crysil / element-javascript
European Union Public License 1.2UpdatedUpdated -
crysil / cryptowebapp
European Union Public License 1.2Updated -
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated