Updated 10 months ago
typepal
TypePal is a framework for name analysis, type checking and type inference
Updated 10 months ago
jcalgtest
Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.
Updated 10 months ago
https://github.com/agra-uni-bremen/opt-vp
Virtual Prototype for identifying Application Specific Hardware Optimization candidates
Updated 10 months ago
https://github.com/agra-uni-bremen/symsysc-experiments
Experiments and DUTs for SymSysC repo