Explore projects
-
crysil / element-javascript
European Union Public License 1.2UpdatedUpdated -
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
Updated
-
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
scos / scos.sources / party-eris
MIT LicenseUpdated -
crysil / cryptowebapp
European Union Public License 1.2Updated -
scos / scos.sources / LearningMMTs
GNU General Public License v3.0 or laterThis is the very first step towards Learning Mealy Machines with Timers.
Updated -
Updated
-
Updated
-
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
CON / asmlib
GNU General Public License v3.0 onlyPython implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)
Updated -
-
Bernd Pruenster / crypto-commons
European Union Public License 1.2Updated