Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Scabolic | 33 | 9 years ago | other | Scala | ||||||
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala. | ||||||||||
Algebra Elementary | 7 | 9 years ago | 8 | other | Haskell | |||||
An elementary algebra library written in Haskell. |