stainless
Verification framework and tool for higher-order Scala programs (by epfl-lara)
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 | scalable-data-science | |
---|---|---|
3 | 1 | |
347 | 164 | |
0.6% | - | |
8.2 | 3.0 | |
10 days ago | 8 months ago | |
HTML | HTML | |
Apache License 2.0 | The Unlicense |
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.
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.
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.
What are some alternatives?
When comparing stainless and scalable-data-science you can also consider the following projects:
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
docs.scala-lang - The Scala Documentation website
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver
SynapseML - Simple and Distributed Machine Learning
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