|
| Stars | 3,956 | 1,575 |
|---|
| Downloads | |  |
|---|
| Dependent Packages | | 2 |
|---|
| Dependent Repos | 44 | |
|---|
| Most Recent Commit | 11 days ago | a month ago |
|---|
| Total Releases | 46 | 11 |
|---|
| Latest Release | June 12, 2023 | June 15, 2023 |
|---|
| Open Issues | 5 | 36 |
|---|
| License | apache-2.0 | apache-2.0 |
|---|
| Programming Language | Swift | F* |
|---|
