website
stainless
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.
website
stainless
What are some alternatives?
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
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
docs.scala-lang - The Scala Documentation website
refined - Refinement types for Scala
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.
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