scalable-data-science
Scalable Data Science, course sets in big data Using Apache Spark over databricks and their mathematical, statistical and computational foundations using SageMath. (by lamastex)
stainless
Verification framework and tool for higher-order Scala programs (by epfl-lara)
| scalable-data-science | stainless | |
|---|---|---|
| 1 | 3 | |
| 165 | 347 | |
| - | 0.6% | |
| 3.0 | 8.2 | |
| 8 months ago | 4 days ago | |
| HTML | HTML | |
| The Unlicense | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
scalable-data-science
Posts with mentions or reviews of scalable-data-science.
We have used some of these posts to build our list of alternatives
and similar projects.
stainless
Posts with mentions or reviews of stainless.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-02.
What are some alternatives?
When comparing scalable-data-science and stainless you can also consider the following projects:
docs.scala-lang - The Scala Documentation website
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
SynapseML - Simple and Distributed Machine Learning
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver
intro-cats-effect - Slides and video recording for my "Intro to Cats-Effect" talk
refined - Refinement types for Scala
manticore - Symbolic execution tool
foundations - Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
iron - Strong type constraints for Scala