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 stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown
Updated -
Thomas Wood / DoCitten
BSD 3-Clause "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