sbvPlugin vs stainless

Our great sponsors

WorkOS - The modern identity platform for B2B SaaS

InfluxDB - Power Real-Time Data Analytics at Scale

SaaSHub - Software Alternatives and Reviews

Our great sponsors

sbvPlugin		stainless
	Project
-	Mentions	3
44	Stars	347
-	Growth	1.7%
6.3	Activity	8.2
about 1 month ago	Latest Commit	8 days ago
Haskell	Language	HTML
BSD 3-clause "New" or "Revised" License	License	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.

sbvPlugin

Posts with mentions or reviews of sbvPlugin. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning sbvPlugin yet.
Tracking mentions began in Dec 2020.

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.

Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.
4 projects | /r/scala | 2 Mar 2023

You may find Dtainless interesting.
Purely Functional Scala research project topics?
1 project | /r/scala | 27 Nov 2021
Stainless – Verification framework and tool for higher-order Scala programs
1 project | news.ycombinator.com | 3 Apr 2021

What are some alternatives?

When comparing sbvPlugin and stainless you can also consider the following projects:

dyckword - :surfer: A Haskell library for working with binary Dyck words.

z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver

nimber - Finite nimber arithmetic

intro-cats-effect - Slides and video recording for my "Intro to Cats-Effect" talk

hermit - Haskell Equational Reasoning Model-to-Implementation Tunnel

docs.scala-lang - The Scala Documentation website

SmtLib - Parser for smt-lib Command responses

refined - Refinement types for Scala

tower - Deprecated in favour of https://github.com/tonyday567/numhask

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.

nuha

manticore - Symbolic execution tool