Explore projects

Updated

Updated

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

A collection of C ADTs (hash:str>str; longhash:str>long; intlist: list(int); strlist: list(str); set:str>boolean)
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 
Thomas Wood / DoCitten
BSD 3Clause "New" or "Revised" LicenseDoCitten: The Cutest IRC bot ever [citation needed]
Updated 
Updated

Updated

Updated

Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated 
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated 
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated 
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated 
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated 

A cutdown version of part2 of my mailing list flattening C example, a specialised form of the general "computing transitive closures of a directed graph" method
Updated 
Updated