Pinned Loading

1. seer-lab/RoboGames seer-lab/RoboGames Public

   A game for learning programming through understanding and comprehension of source code.

   C# 8 5

2. seer-lab/ARC seer-lab/ARC Public

   A tool to automatically repair concurrency bugs in Java.

   TXL 6

3. seer-lab/Threaded-Paws seer-lab/Threaded-Paws Public

   Forked from luisarojas/threadedpaws

   Serious game for learning about concurrency - thread interleavings, data races and deadlocks.

   C# 4 2

4. seer-lab/TIE seer-lab/TIE Public

   A Thread Interleaving Explorer for Java Pathfinder (JPF).

   Java 1

5. seer-lab/ConMAn seer-lab/ConMAn Public

   A concurrency mutant generation tool for mutation testing concurrent Java.

   3 2

6. seer-lab/PIE seer-lab/PIE Public

   Pattern Instance Explorer (PIE), is an exploratory visualization tool that enable developers and researchers to examine a repository’s design patterns and their life cycles.

   Dart