Stainless Alternatives

Similar projects and alternatives to stainless

• iron

  20 404 8.3 Scala stainless VS iron

  Strong type constraints for Scala (by Iltotore)

• refined

  16 1,680 8.6 Scala stainless VS refined

  Refinement types for Scala

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• sbvPlugin

  0 44 6.3 Haskell stainless VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• z3_tutorial

  1 147 0.0 Jupyter Notebook stainless VS z3_tutorial

  Jupyter notebooks for tutorial on the Z3 SMT solver

• intro-cats-effect

  3 25 0.0 HTML stainless VS intro-cats-effect

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

• docs.scala-lang

  7 551 9.3 HTML stainless VS docs.scala-lang

  The Scala Documentation website

  

• scalable-data-science

  1 164 3.0 HTML stainless VS 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.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• manticore

  5 3,634 3.8 Python stainless VS manticore

  Symbolic execution tool

  

• foundations

  1 451 2.8 HTML stainless VS 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)