Shiyanlou vs Phasar vs Seahorn vs Mollenos vs Dextool vs Rocm Device Libs vs Predator vs Blissc vs Pd Faustgen vs Pet
| Shiyanlou | Phasar | Mollenos | Seahorn | Dextool | Rocm Device Libs | Predator | Blissc | Pd Faustgen | Pet | |
|---|---|---|---|---|---|---|---|---|---|---|
| Stars | 1,494 | 857 | 423 | 391 | 94 | 91 | 66 | 28 | 25 | 25 |
| Downloads | ||||||||||
| Dependent Packages | ||||||||||
| Dependent Repos | ||||||||||
| Most Recent Commit | 3 years ago | 3 months ago | a year ago | 6 months ago | 4 months ago | 5 months ago | 5 months ago | 4 years ago | 4 years ago | 2 years ago |
| Total Releases | 43 | |||||||||
| Latest Release | December 09, 2022 | |||||||||
| Open Issues | 37 | 20 | 20 | 14 | 10 | 5 | 3 | 1 | ||
| License | other | gpl-3.0 | other | other | other | gpl-3.0 | bsd-2-clause | mit | ||
| Programming Language | C | C++ | C | C | C | C | C | C | C | C |