Popular repositories Loading

1. piVC piVCPublic

   Forked from jgalenson/piVC

   The Pi verifying compiler.

   Java

2. abz18-casestudy-spin abz18-casestudy-spinPublic

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

3. Uncertainty-Aware-Architecture Uncertainty-Aware-ArchitecturePublic

   Forked from rima-alali/Uncertainty-Aware-Architecture

   Uncertainty-Aware Self-Adaptive CPS

   Java

4. admin-forms admin-formsPublic

   Forked from d-iii-s/admin-forms

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

   TeX

5. kodi-ulozto kodi-uloztoPublic

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

   Python

6. benchexec benchexecPublic

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python