Popular repositories Loading

1. Grupo14 Grupo14 Public

   Forked from uminho-miei-engseg-18-19/Grupo14

   Python

2. Grupo10 Grupo10 Public

   Forked from uminho-miei-engseg-18-19/Grupo10

   Python

3. dedisbench dedisbench Public

   Forked from jtpaulo/dedisbench

   DEDISbench: A disk I/O block-based benchmark for deduplication systems. Unlike other existing benchmarks, written content is generated in a realistic fashion that mimics the content found on real s…

   C

4. rrpereira rrpereira Public

5. projects projects Public

   Personal and academic projects.

   TLA

6. haros haros Public

   Forked from git-afsantos/haros

   H(igh) A(ssurance) ROS - Static analysis of ROS application code.

   Python