Popular repositories Loading

1. gopherlyzer gopherlyzer Public

   Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

   Go 20 1

2. gopherlyzer-GoScout gopherlyzer-GoScout Public

   Trace-Based Run-time Analysis of Message-Passing Go Programs

   Go 7

3. scrates scrates Public

   C++ 4 1

4. Parallel_CHR Parallel_CHR Public

   CHR framework written in C++ that executes CHR concurrently and supports linear and non-linear rules.

   C++ 1

5. gopherlyzer-GuaranteedRaces gopherlyzer-GuaranteedRaces Public

   Go 1

6. SpeedyGo SpeedyGo Public

   Go 1 2