|
| Stars | 13,413 | 1,575 |
|---|
| Downloads | |  |
|---|
| Dependent Packages | 109 | 2 |
|---|
| Dependent Repos | | |
|---|
| Most Recent Commit | 3 months ago | a month ago |
|---|
| Total Releases | 89 | 11 |
|---|
| Latest Release | August 10, 2022 | June 15, 2023 |
|---|
| Open Issues | 18 | 36 |
|---|
| License | apache-2.0 | apache-2.0 |
|---|
| Programming Language | Java | F* |
|---|
