Popular repositories Loading

1. model-evaluation model-evaluationPublic

   Forked from openETCS/model-evaluation

   part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

   C

2. validation validationPublic

   Forked from openETCS/validation

   WP4: Validation and verification strategy

   C

3. modeling modelingPublic

   Forked from openETCS/modeling

   WP3 Top Level Project: to cover all tasks related with modeling

   C

4. current_systemc current_systemcPublic

   C++

5. easyloggingpp easyloggingppPublic

   Forked from abumq/easyloggingpp

   Single header C++ logging library. It is extremely powerful, extendable, light-weight, fast performing, thread and type safe and consists of many built-in features. It provides ability to write log…

   C++

6. libconfig libconfigPublic

   Forked from hyperrealm/libconfig

   C/C++ library for processing configuration files

   C