Popular repositories Loading

1. piVC piVC Public

   Forked from jgalenson/piVC

   The Pi verifying compiler.

   Java

2. abz18-casestudy-spin abz18-casestudy-spin Public

   Supplementary material for the Hybrid ERTMS/ETCS Level 3 done in Spin

3. Uncertainty-Aware-Architecture Uncertainty-Aware-Architecture Public

   Forked from rima-alali/Uncertainty-Aware-Architecture

   Uncertainty-Aware Self-Adaptive CPS

   Java

4. admin-forms admin-forms Public

   Forked from d-iii-s/admin-forms

   Sdílené formuláře pro potřeby pracoviště

   TeX

5. kodi-ulozto kodi-ulozto Public

   Přehrávač videí uložených na Uložto disku

   Python

6. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python