https://github.com/agr114molecularbreeding/readme.md • Science 23%

typepal • Science 44%

TypePal is a framework for name analysis, type checking and type inference

jcalgtest • Science 31%

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.

2025-01-28-ds-dl-intro • Science 31%

mole-fork • Science 67%

https://github.com/agra-uni-bremen/opt-vp • Science 26%

Virtual Prototype for identifying Application Specific Hardware Optimization candidates

https://github.com/agra-uni-bremen/symsysc-experiments • Science 26%

Experiments and DUTs for SymSysC repo

2024-07-10-resbaz-nz-r • Science 31%

chtc-htc • Science 31%

314-spatial-temporal_knowledge_transfer_for_dynamic_constrained_multiobjective_optimization • Science 13%

csl-new • Science 31%

molbar • Science 31%

eu9t0uny • Science 26%

nothing to do

https://github.com/agra-uni-bremen/symsysc • Science 26%

Symbolic Execution of SystemC TLM Peripherals

llama_factory • Science 26%

macquarie-ttt • Science 41%

hope-fla • Science 54%

https://github.com/agra-uni-bremen/symex-trace-vp • Science 13%

SymEx-VP with tracing capabilities

2014-01-30-mit • Science 18%

Software Carpentry bootcamp at Massachusetts Institute of Technology on January 30-31, 2014

https://github.com/agra-uni-bremen/vpil-hw • Science 23%

Hardware Description for VPiL (Virtual Prototype in the Loop)