Popular repositories Loading

1. SCICO-D-23-00032 SCICO-D-23-00032 Public

   Forked from ERATOMMSD/frenetic-lib

   Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing

   Python 3

2. SCICO-D-16-00162 SCICO-D-16-00162 Public

   Forked from DianaMCE/MuliKinCalib

   A multiple Kinect V2 Calibration tool

   MATLAB 2 2

3. SCICO-D-17-00062 SCICO-D-17-00062 Public

   Forked from ssvlab/esbmc-gpu

   ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero,…

   C 1

4. SCICO-D-17-00035 SCICO-D-17-00035 Public

   Forked from Simula-COMPLEX/iOCL-Public

   IOCL: An interactive tool for specifying, validating and evaluating OCL constraints

   JavaScript 1

5. SCICO_2018_127 SCICO_2018_127 Public

   Forked from Baltasarq/Pooi

   Object-oriented programming interpreter

   Java 1

6. SCICO-D-20-00048 SCICO-D-20-00048 Public

   Forked from q-rapids/qrapids-dashboard

   Strategic Dashboard supporting decision-makers managing Quality Requirements, the RESTful API documentation is available at the next URL

   JavaScript 1