Scala refinement-types

Open-source Scala projects categorized as refinement-types
Edit details
Scala Extensions Assert Typelevel Types
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
featured

Scala refinement-type Projects

refinement-types

  1. refined

    Refinement types for Scala

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

    Strong type constraints for Scala (by Iltotore)

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Scala refinement-types discussion

Log in or Post with

Scala refinement-types related posts

  • Make Invalid States Unrepresentable

    2 projects | dev.to | 2 Feb 2024

  • Does the fthomas/refined library work differently in Scala 3?

    3 projects | /r/scala | 20 Jun 2023

  • Type erased on implicit evidence check

    1 project | /r/scala | 28 Apr 2023

  • Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.

    4 projects | /r/scala | 2 Mar 2023

  • Restrict uses of annotation in Scala

    2 projects | /r/scala | 20 Feb 2023

  • Cross-Training to Ada - which are the best languages to begin from?

    1 project | /r/ada | 25 Jan 2023

  • Can types replace validation?

    2 projects | /r/programming | 28 Aug 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 17 Mar 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

# Project Stars
1 refined 1,719
2 iron 483

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