Explore projects
-
Updated
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
-
In LinkedIn's Plain Old C Programming group in , John Coloccia asked about whether "namespaces" would be a good idea for C. He explained that he meant some form of modularity, and I thought I've have a play - this is the result! A module generator!
Updated -
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Updated
-
ptb14 / Endorob
MIT No AttributionUpdated -
Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise
Updated -
Updated
-
Updated
-
Updated
-
-
-
-
Updated
-
Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.
Updated -
Jamie Willis / WACC Scala Skeleton Template
Creative Commons Zero v1.0 UniversalUpdated