Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Scala | 14,238 | 13,541 | 64,746 | 3 months ago | 210 | September 06, 2023 | 21 | apache-2.0 | Scala | |
Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/lampepfl/dotty | ||||||||||
Scalaz Plugin | 75 | 2 | 5 years ago | 5 | October 04, 2018 | 31 | lgpl-3.0 | Scala | ||
A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala. | ||||||||||
Scallina | 73 | 2 years ago | 1 | gpl-3.0 | Scala | |||||
A Coq-based synthesis of Scala programs which are correct-by-construction | ||||||||||
Facsimile | 15 | 1 | 4 years ago | 3 | August 05, 2019 | lgpl-3.0 | Scala | |||
Facsimile Simulation Library | ||||||||||
Scalaschool | 6 | 3 years ago | ||||||||
Learn Functional Programming with Scala |