Popular repositories Loading

1. PSM01 PSM01 Public

   A collection of awesome study resources for Professional Scrum Master I (PSM I)

   9 1

2. ESBMCParallel ESBMCParallel Public

   Bounded Model Checking (BMC) based on Satisfiability Modulo Theories (SMT) is well known by its capability to verify software. However, its use as optimization tool, to solve hardware and software …

   C 3 1

3. ESBMCPVS ESBMCPVS Public

   Use Binary Search and Vz to optimize the choice of PhotoVoltaic System.

   TeX 2

4. IbusExtra IbusExtra Public

   Resources from IBUS Project

   TeX

5. WDXXX WDXXX Public

   Python

6. owasp-masvs owasp-masvs Public

   Forked from OWASP/owasp-masvs

   The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

   TeX