Popular repositories Loading

1. softsys_project softsys_project Public

   Project for Software Systems, group 134

   Java

2. testingtechniques testingtechniques Public

   Java

3. ltsmin ltsmin Public

   Forked from utwente-fmt/ltsmin

   The LTSmin model checking toolset

   C

4. cloudsim cloudsim Public

   working repo for a cloudsim project

   Java

5. vm vm Public

   Forked from nextcloud/vm

   💻☁📦 The Nextcloud VM (virtual machine appliance), Home/SME Server and scripts for RPi (4). Community developed and maintained.

   Shell

6. indicators indicators Public

   Forked from p-ranav/indicators

   Activity Indicators for Modern C++

   C++