Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Vercors | 47 | 2 months ago | 113 | other | Scala | |||||
The VerCors verification toolset for verifying parallel and concurrent software | ||||||||||
Easycl | 5 | 5 years ago | gpl-3.0 | C++ | ||||||
OpenCL based lightweight c++ computing library |