Explore projects
-
Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.
Updated -
Updated
-
Updated
-
Jamie Willis / WACC Scala Skeleton Template
Creative Commons Zero v1.0 UniversalUpdated -
-
Updated
-
Updated
-
-
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Updated
-
Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise
Updated -
-
ptb14 / Endorob
MIT No AttributionUpdated -
Updated
-
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Andreas Schuh / kstart
OtherThis is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.
Updated