Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

devexperts/lin-check

Linearization checker for Java concurrent programs

Owner
devexperts (organization)
Stars
Stars: 107
Forks
Forks: 11
Language
Java
License
MPL-2.0
Created
2015
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by devexperts

All 4 repos by devexperts

Nearby in Java

All Java repos