Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Rholang | 82 | 6 years ago | mit | Java | ||||||
Galileo | 59 | 4 years ago | 2 | May 12, 2018 | 5 | other | Scala | |||
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool | ||||||||||
Lambdacalculus | 24 | 14 years ago | Scala | |||||||
Scala implementation of a lambda calculus interpreter | ||||||||||
Mesa | 14 | 4 years ago | 1 | Scala | ||||||
Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3. | ||||||||||
Dire | 7 | 14 years ago | 1 | Scala | ||||||
Implementation of a Distributed Reasoner for Description Logic in Scala (diploma/masters thesis) |