refinement-types

Open-source projects categorized as refinement-types

Top 5 refinement-type Open-Source Projects

  • refined

    Refinement types for Scala

    Project mention: Can types replace validation? | reddit.com/r/programming | 2022-08-28

    In one respect, nothing. You’re right. Even given refinement types as in Haskell or Scala, there is indeed a necessarily-partial function (refineV in Scala) to refine a value to its refinement type.

  • ante

    A safe, easy systems language

    Project mention: Opinions on ante? | reddit.com/r/transprogrammer | 2022-09-04
  • Sonar

    Write Clean Python Code. Always.. Sonar helps you commit clean code every time. With over 225 unique rules to find Python bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.

  • liquidhaskell

    Liquid Types For Haskell

  • Deal

    Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

    Project mention: deal: Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free. | reddit.com/r/pythoncoding | 2022-05-26
  • phantom-types

    Phantom types for Python.

    Project mention: Sunday Daily Thread: What's everyone working on this week? | reddit.com/r/Python | 2022-10-09

    I've written and published about a static type checking technique and a library of mine that implements it: phantom-types.

  • Scout APM

    Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.

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). The latest post mention was on 2022-10-09.

refinement-types related posts

Index

What are some of the best open-source refinement-type projects? This list will help you:

Project Stars
1 refined 1,561
2 ante 1,523
3 liquidhaskell 1,010
4 Deal 468
5 phantom-types 111
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.
www.influxdata.com