Popular repositories Loading

1. startcode startcode Public

   Forked from opencvtemalabor/startcode

   Starting code for the laboratories

   C#

2. ietgyak04 ietgyak04 Public

   BME-VIK Integrációs és ellenőrzési technikák - 4. gyakorlat

   Java

3. BenchmarkDataPool BenchmarkDataPool Public

   Forked from ftsrg-csi/BenchmarkDataPool

   This is a folder collecting the benchmark results from the teams.

   Python

4. gamma gamma Public

   Forked from ftsrg/gamma

   An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

   Xtend

5. theta theta Public

   Forked from ftsrg/theta

   Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

   Java

6. flyingsaucer flyingsaucer Public

   Forked from flyingsaucerproject/flyingsaucer

   XML/XHTML and CSS 2.1 renderer in pure Java

   Java