Popular repositories Loading

1. subset026reader subset026reader Public

   Domain-specific tool to convert doc into reqif. Tailored to the needs of ETCS Subset-026

   HTML 1

2. ERTMSFormalSpecs ERTMSFormalSpecs Public

   Forked from MariellePetitDoche/ERTMSFormalSpecs

   ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while…

   Java

3. camera_traindetector camera_traindetector Public

   Client/Server-Software to visually detect a train on a track-section

   Ada

4. openetcs.github.com openetcs.github.com Public

   Forked from openETCS/openetcs.github.com

   Public openETCS Website

   CSS

5. playground playground Public

   Forked from openETCS/playground

   This is a test repository for trying out git

6. tud_newsscraper tud_newsscraper Public

   A tool to extract data from websites of TU Dresden

   PHP 2