Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Shapesafe | 20 | 4 months ago | 5 | June 02, 2022 | 1 | apache-2.0 | Scala | |||
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory | ||||||||||
Mlpolyr | 17 | 4 years ago | 3 | Standard ML | ||||||
The MLPolyR programming language, revived |