Pinned

1. EmbedSanitizer EmbedSanitizer Public

   EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

   C++ 18 6

2. TaskSanitizer TaskSanitizer Public

   A tool for detecting determinacy races in OpenMP task applications.

   C++ 7 3

3. DynamicProgramming DynamicProgramming Public

   Practice solutions to some of the dynamic programming problems in computer science. For each problem in this repository there is problem definition, solution discussion, solution implementation and…

   C++ 1 1

4. OpenMPDataflowExamples OpenMPDataflowExamples Public

   A repository containing small OpenMP dataflow examples: some are racy and others are correct.

   C++ 1 1

5. DFinspec DFinspec Public

   Output non-determinism detection tool for shared memory dataflow applications.

   C++ 1

6. hisaapi hisaapi Public

   An unofficial Python API for accessing current stock prices in Euros.

   Python 1