Elm Verify Examples vs Martian
| Martian | Elm Verify Examples | |
|---|---|---|
| Stars | 1,900 | 166 |
| Downloads | ||
| Dependent Packages | 488 | |
| Dependent Repos | 1,863 | |
| Most Recent Commit | 10 months ago | 3 months ago |
| Total Releases | 9 | |
| Latest Release | March 15, 2022 | |
| Open Issues | 43 | 14 |
| License | apache-2.0 | bsd-3-clause |
| Programming Language | Go | Elm |