KaiSta/scrates KaiSta/scrates

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • License
    Apache License 2.0
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KaiSta/scrates
github

KaiSta

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

gopherlyzer

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Go
20
star
2

gopherlyzer-GoScout

Trace-Based Run-time Analysis of Message-Passing Go Programs
Go
7
star
3

SpeedyGo

Go
1
star
4

Parallel_CHR

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

gopherlyzer-GuaranteedRaces

Go
1
star