Popular repositories Loading

1. FPGA-dijkstra FPGA-dijkstra Public

   C 1

2. RAPL_measurements RAPL_measurements Public

   Contains the files for Quicksort, Mergesort, bubblesort, Arrays.sort() and maybe others. The energy will be measured and the data saved in CSV files

   Jupyter Notebook 1 1

3. nominal-ssprove nominal-ssprove Public

   Forked from MarkusKL/nominal-ssprove

   Coq 1

4. hrallil hrallil Public

   Config files for my GitHub profile.

5. Small-code Small-code Public

   Java

6. WITS WITS Public

   PHP