Explore projects
-
Updated
-
Updated
-
-
Jamie Willis / WACC Scala Skeleton Template
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
Davide Cavezza / TACAS20repo
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
Updated
-
Project for Software Engineering for ML Systems Course @Imperial College London
Updated -
Updated
-
-
Updated
-
-
-
-
Provided files for the 1920 Pintos lab exercise
Updated -
Pancake numbers are an obscure number theory sequence, defined as:
pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown
Updated