Explore projects


Updated



Jamie Willis / WACC Scala Skeleton Template
Creative Commons Zero v1.0 UniversalUpdated 
Updated

Updated

Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated 
Updated

Davide Cavezza / TACAS20repo
GNU General Public License v3.0 or laterUpdated 
Updated


Updated





Updated

Pancake numbers are an obscure number theory sequence, defined as:
pancake(n) = smallest number of "pancake stack flips" to get the worst case stackofnpancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown
Updated 