stainless
Verification framework and tool for higher-order Scala programs (by epfl-lara)
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. (by fp-tower)
stainless | foundations | |
---|---|---|
3 | 1 | |
347 | 451 | |
0.6% | 0.4% | |
8.2 | 2.5 | |
10 days ago | about 1 month ago | |
HTML | HTML | |
Apache License 2.0 | Creative Commons Attribution Share Alike 4.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.
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.
foundations
Posts with mentions or reviews of foundations.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Two pattern matching pitfalls | FP-Tower
Here is a longer write up of my solutions: https://github.com/fp-tower/foundations/blob/chapter-5/notes/04-functional-programming/06-pattern-match-reflection.MD#how-to-safely-implement-auth-middleware
What are some alternatives?
When comparing stainless and foundations you can also consider the following projects:
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
Rich-Hickey-fanclub - "every time I watch one of his talks I feel like someone has gone in and organized my brain"
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
iron - Strong type constraints for Scala