stainless

Verification framework and tool for higher-order Scala programs (by epfl-lara)

Stainless Alternatives

Similar projects and alternatives to stainless

  1. iron

    Strong type constraints for Scala (by Iltotore)

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. refined

    Refinement types for Scala

  4. intro-cats-effect

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

  5. 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.

  6. sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  7. z3_tutorial

    1 stainless VS z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

  8. 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)

  9. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo
  10. docs.scala-lang

    The Scala Documentation website

  11. manticore

    5 stainless VS manticore

    Symbolic execution tool

  12. suslik

    1 stainless VS suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better stainless alternative or higher similarity.

stainless discussion

Log in or Post with

stainless reviews and mentions

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.

Stats

Basic stainless repo stats
3
366
9.0
22 days ago

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Scala is
the 38th most popular programming language
based on number of references?